Question

有没有办法让static_assert的字符串动态定制然后显示？
我的意思是：

//pseudo code
static_assert(Check_Range<T>::value, "Value of " + typeof(T) + " type is not so good ;)");

Answer 1

不，没有。

然而这并不重要，因为static_assert在编译时被评估，并且在出错的情况下，编译器不仅会打印出消息本身，而且还会打印实例堆栈（在模板的情况）。

看看这个合成示例in ideone：

#include <iostream>

template <typename T>
struct IsInteger { static bool const value = false; };

template <>
struct IsInteger<int> { static bool const value = true; };

template <typename T>
void DoSomething(T t) {
  static_assert(IsInteger<T>::value, // 11
  "not an integer");

  std::cout << t;
}

int main() {
  DoSomething("Hello, World!"); // 18
}

编译器不仅会发出诊断信息，还会发出完整的堆栈：

prog.cpp: In function 'void DoSomething(T) [with T = const char*]':
prog.cpp:18:30:   instantiated from here
prog.cpp:11:3: error: static assertion failed: "not an integer"

如果您了解Python或Java以及如何在异常情况下打印堆栈，那么应该很熟悉。事实上，它甚至更好，因为你不仅获得了调用堆栈，而且还获得了参数值（这里是类型）！

因此，动态消息不是必要的：）

Answer 2

标准将static_assert的第二个参数指定为字符串文字，因此我无法在其中看到计算机会（预处理器宏除外）。

编译器可以扩展标准并在此位置允许适当类型的const表达式，但我不知道是否有任何编译器。

Answer 3

正如Matthieu所说，这是不可能的，但是你可以通过使用宏来获得一些你正在寻找的功能：

#define CHECK_TYPE_RANGE(type)\
    static_assert(Check_Range<type>::value, "Value of " #type " type is not so good ;)");

CHECK_TYPE_RANGE(float); // outputs "Value of float type is not so good ;)"

static_assert - 一种动态自定义错误消息的方法

3 个答案: