使用迭代器de-reference的decltype编译错误

Question

我在这里错过了什么？为什么我不能使用decltype来定义迭代器的value_type？当我使用decltype而不是iterator_traits时,下面的代码会产生难以理解的编译时错误,但前提是我还使用value_type来声明向量.

Visual Studio 2017,C++ 17 rev.15.6预览

#include <vector>
template<class Ptr >
void foo(Ptr beg) {
    *beg = 1;  // Cool, babies.
//  using value_type = decltype(*beg); // COMPILER ERROR when buf declared below
    using value_type = typename std::iterator_traits<Ptr>::value_type;
    std::vector<value_type> buf(1); // Remove this and decltype compiles.
}

int main() {
    std::vector<int> bar(1);
    foo(std::begin(bar));
    *(std::begin(bar)) = 1;
    return 0;
}

按要求...

error C2528: 'const_pointer': pointer to reference is illegal

Answer 1

这有同样的原因,当你有:

void foo(int *beg)

然后

decltype(*beg)

不给你一个int.你会得到一个int &在这里.基本上,这就是你的using声明最终得到的结果:一个参考,一个不请自来的搭便车者.

如果你坚持使用decltype,你可以这样做:

using value_type = typename std::remove_reference<decltype(*beg)>::type;

为了抛弃不受欢迎的搭便车者.