C++ 11 static_assert:参数化错误消息

Question

在我之前的问题中,我想使用static_assert将模板参数限制为特定的子类型.问题得到了解答,获得批准的代码如下:

template <typename T> 
struct X { 
    static_assert(std::is_base_of<Y,T>::value,"T must be derived from Y!");
};

现在,我想让错误信息更简洁.即,我想说明哪种类型违反了这种约束.例如,如果类A不是从Y某个实例派生出来的X<A>,那么错误消息应该打印"类型参数必须从Y派生,但A不是".

这是用标准库实现的吗？

我看到两个挑战:

在编译时组装字符串而不使用boost :: mpl
检索T被实例化的类型的名称.名称应该是有意义的,理想情况下与违反定义中使用的名称相同.我尝试了typeid(T).name()但它只返回了不可接受的受损名称.我记得有某种宏可以返回某些东西的名字,但我不记得了.

Answer 1

你不能做这个.static_assert想要一个字符串文字.你没有办法组装的语义身份T和Y字符串文字.

您可以希望编译器提供易于读取的模板实例化堆栈的回溯,并为您提供封闭类模板实例化的值T和Y模板参数.