Question

我试图更好地了解iterator_traits，并在C ++教科书上找到了一段代码。所以我添加了一些代码来使其可执行，目的是了解所述编译时机制的行为。完整的程序如下：

template<typename C>
    using Iterator_type = typename C::iterator;  

template<typename Iter>
    using Iterator_category = typename std::iterator_traits<Iter>::iterator_category;   

template<typename Ran>                                          
void sort_helper(Ran beg, Ran end, std::random_access_iterator_tag)   
{
    sort(beg, end);   
}

template<typename For>                                     
void sort_helper(For beg, For end, std::forward_iterator_tag)   
{
    std::vector<decltype(*beg)> v {beg, end};   
    sort(v.begin(), v.end());
    copy(v.begin(), v.end(), beg);              
}

template<typename C>
void sort(C& c)
{
    using Iter = Iterator_type<C>;
    sort_helper(c.begin(), c.end(), Iterator_category<Iter>{});
}

void test(std::vector<std::string>& v, std::forward_list<int>& lst)
{
    sort(v);     
    sort(lst);   
}

template<typename C>
void print(C& c)
{
    for(auto it = c.begin(); it != c.end(); ++it) {
        std::cout << *it << '\n';
    }
    std::cout << '\n';
}

int main()
{
    std::vector<std::string> v { "Bicycle", "Hoovercraft", "Rocket", "Airplaine", "Bus", "Submarine" };
    print(v);

    sort(v);
    print(v);

    std::forward_list<int> lst { 2, 81, 3, 0, 4, 34, 23, 11 };
    print(lst);

    sort(lst);
    print(lst);

    return 0;
}

编译无法告知指向引用的指针：

memory:1723:16: error: 
  'pointer' declared as a pointer to a reference of type 'int &'
typedef _Tp*              pointer;

并且错误堆栈带到以下行：

in instantiation of template class 'std::__1::vector<int &,     std::__1::allocator<int &> >'
  requested here
std::vector<decltype(*beg)> v {beg, end};

在 Mac OS 和 Linux 计算机上进行编译 g ++ 。

我设法让它修改所涉及的部分，如下所示：

auto i = *beg;
std::vector<decltype(i)> v {beg, end};

请您更清楚地解释为什么decltype()函数返回指向引用的指针？我已经在SO上阅读了关于decltype类型函数的其他一些问题，并且已经阅读了规范但是没有让我走上正确的道路，也没有检查输出消息的完整编译器堆栈是否有任何帮助。

提前感谢您的任何考虑。

Answer 1

问题是import package from '../package.json'; //es6, or var package = require('../package.json'); //commonJS console.log( package.version );会产生一种引用类型（你不能使decltype）。
为什么这样做会得到here的深入回答。

您可以通过以下两种方式之一修复它：

使用std::vector
使用std::remove_reference<decltype(*beg)>::type

为什么decltype（）yelds一个指向引用的指针？

1 个答案: