c++ - 在编译时在 static_assert() 中显示整数

Question

这是我正在尝试做的简化版本

enum First
{
    a,
    b,
    c,
    nbElementFirstEnum,
};
enum Second
{
    a,
    b,
    c,
    nbElementSecondEnum,
};

static_assert(
    First::nbElementFirstEnum == Second::nbElementSecondEnum,
    "Not the same number of element in the enums.");
/*static_assert(  
    First::nbElementFirstEnum == Second::nbElementSecondEnum, 
    "Not the same number of element in the enums." + First::nbElementFirstEnum + " " + Second::nbElementSecondEnum);*/

但我希望能够在断言消息中打印 First::nbElementFirstEnum 和 Second::nbElementSecondEnum 的值(就像在显然不起作用的注释版本中一样)。 我尝试过使用带有“#”的宏连接。 我还尝试使用可变参数模板，检索每个数字 %10 并将“0”字符添加到检索到的值，但我得到的只是一个 constexpr char[]。

所以我的问题是如何让我的枚举值打印在字符串文字中。

可能重复:

C++11 static_assert: Parameterized error messages

Integrate type name in static_assert output?

最有趣的话题是这个: Printing sizeof(T) at compile time 但我不想发出警告，也不想通过分解代码来了解这些值。

Answer 1

首先是一个辅助类，用于在编译器输出中打印模板参数值:

template<size_t A, size_t B> struct TAssertEquality {
  static_assert(A==B, "Not equal");
  static constexpr bool _cResult = (A==B);
};

然后需要测试的地方:

static constexpr bool _cIsEqual = 
  TAssertEquality<First::nbElementFirstEnum, Second::nbElementSecondEnum>::_cResult;

编译器错误消息如下所示:

note: see reference to class template instantiation 'TAssertEquality<32,64>' being compiled