if constexpr 用于可变长度元素 Get<>

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> 的调用；它是一个带有std::list 参数的Get<2> 对象的构造。

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

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

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);