c – 在decltype中使用命名空间

我有一个看起来或多或少像这样的功能:

template<class C> auto f(C const& c) -> decltype(begin(c)){
    using std::begin;
    return begin(c);
}

>函数的主体利用“使用和使用”的习语和
>感谢decltype,如果返回类型无效,将SFINAE.

但是一般来说它并不完美,因为我没有办法告诉decltype有一个使用std声明的开头.

template<class C> auto f(C const& c) -> decltype(std::begin(c))

也会不一致,例如当decltype(c)和begin属于不同的命名空间时.

周围有路吗?

理想情况下,我想要类似的东西

template<class C> auto f(C const& c) -> decltype(using std::begin; begin(c))

我认为lambda原则上可以工作

template<class C> auto f(C const& c) -> decltype([&]{using std::begin; return begin(c)})

但在decltype内禁止lambdas.

在GCC中有一个有趣的语言扩展(“表达式语句”)是有希望的,但是它不能在函数体外工作(与未评估的上下文中不允许使用lambda).
否则它将是一个解决方案.

template<class C> auto g(C const& c) 
->decltype(({using std::begin; begin(c);})){ // ...that doesn't work here
    return(({using std::begin; begin(c);})); // gcc extesion...
}

解决方法:

您可以委派给启用ADL的命名空间

namespace detail
{
    using std::begin;
    template<class C> auto f(C const& c) -> decltype(begin(c)){
        return begin(c);
    }
}

template<class C> auto f(C const& c) -> decltype(detail::f(c)){
    return detail::f(c);
}
上一篇:c – auto,decltype(自动)和尾随返回类型


下一篇:c – 对抽象类和`decltype`的L值引用