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;

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

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

1 个答案: