下面的代码失败（按预期方式）。令我困扰的是错误消息。它没有明确说明问题所在。我本来希望这样的“cannot convert from const char* to int”。相反，它说"cannot convert from 'initializer list' to 'B<int>'"，当涉及其他复杂类型时，它变得不太清楚。
如何添加自定义错误消息？实际的课程要复杂得多。
#include <vector>
template< typename T >
class B
{
std::vector<T> v;
public:
B( std::initializer_list<T> il ) : v{ il } {}
};
int main()
{
B<int> b{ "a","b","c" }; // fails with cannot convert from 'initializer list' to 'B<int>'
}
如果只想拥有一个std::initializer_list<T>构造函数，那么您可以做的一件事就是提供一个可变的模板构造函数，然后在static_assert内部构造函数中提供所需的错误消息。之所以可行，是因为如果您提供其他任何东西，那么std::initializer_list<T>构造函数将更好地匹配，并且断言将触发。看起来像
#include <vector>
template< typename T >
class B
{
std::vector<T> v;
public:
B( std::initializer_list<T> il ) : v{ il } {}
template <typename... Args>
// the sizeof...(Args) < 0 is needed so the assert will only fire if the constructor is called
B(Args...) { static_assert(sizeof...(Args) < 0, "This class can only be constructed from a std::initializer_list<T>"); }
};
int main()
{
//B<int> b1{ "a","b","c" }; // uncomment this line to get static_assert to fire
B<int> b2{ 1,2,3 };
}
本文收集自互联网，转载请注明来源。
如有侵权，请联系[email protected] 删除。
我来说两句