主页 / coding / 问题 / 78580764
Accepted
edrezen
Asked: 2024-06-05 19:47:31 +0800 CST

从 gcc/clang 检索编译时已知的值

  • 772

考虑以下VALUE定义的编译时间常数

struct foo  {  uint32_t a;  };

static constexpr int VALUE = sizeof(foo);

请注意，此处计算值的方式并不重要。

我想检索编译结果本身的值（示例中为 4） ；换句话说，我不想构建一个二进制文件并启动它以获得这个值。

我知道该选项-E允许在预处理后停止，但现阶段该值尚不清楚。也许存在一些编译器选项可以允许这样做，但我不知道。

我能想到的唯一方法是放置一个static_assert(VALUE==-1)会导致错误的值，并希望错误消息能够保存该值；似乎gcc可以做到这一点，但不能clang。

是否有更好的方法并且不依赖于编译器来获取编译本身的常量值？

c++

2 个回答

  1. Best Answer

    这：

    template<auto> class error;
error<VALUE> print;

    这打印：

    • 铛 error: implicit instantiation of undefined template 'error<4>'
    • 海湾合作委员会 error: aggregate 'error<4> print' has incomplete type and cannot be defined
    • 伊克斯 error: implicit instantiation of undefined template 'error<4>'
    • 微软 error C2079: 'print' uses undefined class 'error<4>'

    在Compiler Explorer上亲自查看。对于所有这些，您可以继续 greperror<[0-9]+>来检索 4。

    • 3

  2. static_assert利用用户生成消息 ( P2741R3 )的 C++26 功能，您可以计算要在编译时发出的任何字符串：

    // This can be replaced with `fmt::format("{}", x)`, or constexpr `std::format` in future C++ versions
consteval std::string to_string(std::integral auto x) {
    std::string result;
    constexpr std::size_t max_size = std::numeric_limits<decltype(x)>::digits10 + 2;
    result.resize_and_overwrite(max_size, [&x](char* p, std::size_t count) -> std::size_t {
        assert(count == max_size);
        auto [ last, ec ] = std::to_chars(p, p + max_size, x, 10);
        assert(ec == std::errc{});
        return last - p;
    });
    return result;
}

static constexpr int VALUE = sizeof(foo);
static_assert(false, "MARKER'" + ::to_string(VALUE) + "'MARKER");
// Compiler error output contains "MARKER'4'MARKER", which you can search for

    您可以有任何您想要的消息。也许是一个constexpr用于更复杂输出的 JSON 库。

    GCC 声称在 GCC 14 中支持这一点。它甚至接受它作为旧 C++ 版本中的扩展。
    Clang 从 Clang 17 开始就支持这一点，但你必须处于-std=c++2c模式下，否则它根本无法解析。

    • 0

相关问题