推论在主函数的第一行中失败,如何在不添加其他模板参数的情况下解决这一问题
#include <iostream>
template <typename T>
class myVec{
size_t _size{};
size_t capacity{};
T* data{};
public:
myVec(size_t size = 0, T value = T{}):_size{size}, capacity{2 * _size}{
data = new T[capacity];
for(size_t index{}; index < _size; index++)
data[ index ] = T{};
}
template <typename ... Ts>
myVec( Ts&& ... vals):myVec{ sizeof...(vals)}{
size_t index{};
((data [ ++index ] = vals),...);
}
~myVec(){
delete[] data;
}
size_t size( ){
return _size;
}
/*the rest */
};
int main(){
myVec vec {1, 32, 5, 6};
for(size_t index{}; index < vec.size(); ++index )
std::cout << vec[ index ] << " ";
}
答案 0 :(得分:4)
仅当类模板参数与构造函数完全匹配时,类模板才能够隐式推断出它们。
template <typename T>
class myVec
{
...
myVec(int, T); // T can be deduced since it's from the class template
...
};
...
myVec(5,5); // deduces myVec<int>
另一方面,构造函数模板中的类型并不直接参与推断-因为推断出的类型不一定与类模板相同:
template <typename T>
class myVec
{
...
template <typename U>
myVec(int, U); // U may not be the same as T!
...
template <typename...Ts>
myVec(Ts&&...); // All 'Ts' types may not be the same as 'T'
...
};
解决此问题的方法是使用user-defined deduction guides。这些使您可以定义在面对否则含糊的构造函数表达式时推导的类型。就您而言,您可能正在寻找类似的东西:
template <typename...Ts>
myVec(Ts...) -> myVec<std::common_type_t<Ts...>>;
注意: std::common_type_t
用于获取所有可变参数类型的通用类型。在<type_traits>
标头中定义。