在 C++17 中使用参数包的类模板参数推导

Class template argument deduction with a parameter pack in C++17

本文关键字：参数 C++17      更新时间：2023-10-16

我正在尝试在类上实现类模板参数推导。我的类在类型T(将是一个数字(上模板化，构造函数在std::size_t参数包上模板化。

#include <iostream>
#include <utility>
#include <experimental/array>
template < typename T, std::size_t S>
struct my_array
{               
template < typename ...SizeTypes>
my_array( SizeTypes&& ... s ):
data( std::forward<std::array<std::size_t, S>>( std::experimental::make_array<std::size_t>( std::forward<SizeTypes>(s)... ) ) )
{ 
}
T value = T();
std::array<std::size_t, S> data;
};
template <  typename T, class...Dimensions>
my_array( Dimensions&& ... )->my_array<T, sizeof...(Dimensions)>;
int main()
{   
my_array<double> a(3, 4, 5);
a.value = 2.32;
std::cout << a.value << ", " << a.data[1] << std::endl;
return 0;
}

我收到以下错误：

prog.cc: In function 'int main()':
prog.cc:24:20: error: wrong number of template arguments (1, should be 2)
my_array<double> a(3, 4, 5);

演示

关于如何正确实施这一点的任何想法？

T在这里是非推导的上下文：

template <  typename T, class... Dimensions>
my_array( Dimensions&& ... )->my_array<T, sizeof...(Dimensions)>;

由于无法推导T，因此永远不会选择此演绎指南。没有一个隐式指南是可行的。

相反，您应该像标准库一样执行：

template <class T, class... U>
my_array(T, U...) -> my_array<T, 1 + sizeof...(U)>;

另外，正如之前多次问过的那样，这不是一回事：

my_array<double> a(3, 4, 5);

你要么推论一切，要么什么都不推论。所以这应该是：

my_array<double, 3> a(3, 4, 5); // no deduction
my_array            b(3.0, 4, 5); // full deduction, b is also my_array<double, 3>
相关文章：