Question

我正在尝试获取列表的第二个元素，但出现错误：

    ||=== Build: Debug in hellocpp17 (compiler: GNU GCC Compiler) ===|
/home/idf/Documents/c++/hellocpp17/main.cpp||In function ‘int main()’:|
/home/idf/Documents/c++/hellocpp17/main.cpp|67|error: no matching function for call to ‘Get<2>::Get(std::__cxx11::list<unsigned int>&)’|
/home/idf/Documents/c++/hellocpp17/main.cpp|40|note: candidate: constexpr Get<2>::Get()|
/home/idf/Documents/c++/hellocpp17/main.cpp|40|note:   candidate expects 0 arguments, 1 provided|
/home/idf/Documents/c++/hellocpp17/main.cpp|40|note: candidate: constexpr Get<2>::Get(const Get<2>&)|
/home/idf/Documents/c++/hellocpp17/main.cpp|40|note:   no known conversion for argument 1 from ‘std::__cxx11::list<unsigned int>’ to ‘const Get<2>&’|
/home/idf/Documents/c++/hellocpp17/main.cpp|40|note: candidate: constexpr Get<2>::Get(Get<2>&&)|
/home/idf/Documents/c++/hellocpp17/main.cpp|40|note:   no known conversion for argument 1 from ‘std::__cxx11::list<unsigned int>’ to ‘Get<2>&&’|
||=== Build failed: 1 error(s), 0 warning(s) (0 minute(s), 0 second(s)) ===|

程序：

#include <iostream>
#include <algorithm>
#include <list>

using namespace std;

template<unsigned n>
struct Get
{
    template<class X, class...Xs>
    constexpr auto operator()(X x, Xs...xs)
    {
        if constexpr(n > sizeof...(xs) )
        {
            return;
        }
        else if constexpr(n > 0)
        {
            return Get<n-1> {}(xs...);
        }
        else
        {
            return x;
        }
    }
};



int main()
{
    list<unsigned> l = { 7, 5, 16, 8 };
    unsigned l2 = Get<2>(l);

    cout << l2 << endl;

    return 0;
}

编辑1

如果我实例化Get<2>，则编译器将报告此错误

unsigned l2 = Get<2>()(l);

/home/idf/Documents/c++/hellocpp17/main.cpp|67|error: void value not ignored as it ought to be|

Answer 1

您可以尝试

unsigned l2 = Get<2>{}(7, 5, 16, 8);

代码中的第一个问题是

Get<2>(l);

不是对operator()中的Get<2>的呼叫；这是带有Get<2>参数的std::list对象的构造。

不幸的是，没有Get<2>构造函数会收到std::list。

代码中的第二个问题是，如果您按照自己的想法调用operator()中的Get<2>

Get<2>{}(l)

其中l是std::list，您传递了一个参数；不是可变参数列表。而且您可以仅在运行时使用列表l，而不能根据需要使用编译时间。

不幸的是，Get<2>{}(7, 5, 16, 8)方式（operator()接收可变的参数列表）与包含列表的变量不兼容。

我的意思是……您不能做以下事情

auto l = something{7, 5, 16, 8};

Get<2>{}(l);

但是，如果您按照以下方式修改operator()来接收std::integer_sequence

template <template <typename X, X...> class C,
          typename T, T I0, T ... Is>
constexpr auto operator() (C<T, I0, Is...> const &)
 {
   if constexpr (n > sizeof...(Is) )
      return;
   else if constexpr (n > 0)
      return Get<n-1>{}(C<T, Is...>{});
   else
      return I0;
 }

您可以按如下所示通过l变量

auto l { std::integer_sequence<int, 7, 5, 16, 8>{} };

unsigned l2 = Get<2>{}(l);

如果constexpr用法用于可变长度元素Get <>

1 个答案: