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

EN

在我以前的问题中，我希望使用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()，但它只返回错误的名称，这是不可接受的。我记得有某种宏返回某物的名称，但我再也不记得了。