使用 decltype 的迭代器取消引用编译错误

Question

我在这里缺少什么？为什么我不能使用 decltype 来定义迭代器的 value_type？当我使用 decltype 而不是 iterator_traits 时，下面的代码会出现难以理解的编译时错误，但前提是我还使用 value_type 来声明向量。

Visual Studio 2017，C++17 修订版。 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;

为了摆脱不受欢迎的搭便车者。