c – 模板扣除,这符合吗？

template <class ... Ts>
struct type_list{};

template <class ... Ts,class T_,class ... Ts_>
auto foo(type_list<Ts...>,Ts&&...,T_&&t,Ts_&&...) {
    return sizeof(T_);
}

int main() {
  std::cerr << foo(type_list<int>{},5,5.0,3);
  return 0;
}

example.cpp:16:16: error: no matching function for call to 'foo'
  std::cerr << foo(type_list<int>{},3);
               ^~~
example.cpp:11:6: note: candidate template ignored: deduced conflicting types for parameter 'Ts'
      (<int> vs. <>)
auto foo(type_list<Ts...>,Ts_&&...) {

Clang从两个相互矛盾的来源中推断出Ts：type_list< Ts ...>和Ts&& ….因为你用type_list< int> {}调用foo,所以Ts首先推导为{int}.但是,因为最后一个参数Ts_&& …具有参数包的类型,所以它可以捕获所有它;在这种情况下,最后两个参数(T_&& t传递给5),它将Ts_推导为{double,int}(和T_作为int).这使Ts没有参数,因此它被推导为{}.

因此,Clang的错误消息：Ts被推断为{}和{int}(错误消息中的(< int> vs.<>)).

请注意,GCC以不同的方式做事：

error: too few arguments to function ‘auto foo(type_list,Ts&& …,T_&&,Ts_&& …) [with Ts = {int}; T_ = int; Ts_ = {double,int}]’

它试图将Ts推导为{int},但仍将Ts_推导为{double,int},因此无法给出正确数量的参数.

要进一步解释,请考虑以下事项：

template <class ... Ts>
struct type_list{};

template <class ... Ts>
auto foo(type_list<Ts...>,Ts...) {
    return sizeof...(Ts);
}

int main() {
  std::cerr << foo(type_list<int>{},3);
}

Clang正确地调用了这个,因为两个推论是冲突的：

note: candidate template ignored: deduced conflicting types for parameter ‘Ts’ (<int> vs. <int,double,int>)

麻烦的是,你不能用另一个参数包捕获2个参数,因为如果放在后面(这是你的情况),它将捕获所有内容,如果放在之前没有任何内容：

template <class ... Ts>
struct type_list{};

template <class... Ts,class... Ts_>
auto foo(type_list<Ts...>,Ts_...,3);
}

在这里,Clang产生相同的错误消息,因为Ts仍然被推断为type_list中的{int}和{int,通过捕获所有剩余的参数.

我认为你唯一的选择是以某种方式处理元组或更明确地调用：foo< int>(type_list< int> {},3)(在这种情况下你可以删除type_list).这样,Ts就不再推断出来了：你明确地把它变成了{int}.