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模板参数的值。

Answer 2

您仍然可以使用BOOST_MPL_ASSERT_MSG 。 它接受泛型类型作为参数，并尝试在错误消息中包含具体类型名称。