如何从预处理器#if 指令调用 constexpr 函数？答案

【问题标题】：How to call a constexpr function from a preprocessor #if directive?如何从预处理器#if 指令调用 constexpr 函数？
【发布时间】：2020-04-04 20:20:02
【问题描述】：

我想将宏定义为字符串，然后在编译时包含基于字符串比较的代码：

#include <iostream>
#include <string_view>

constexpr bool strings_equal(char const * a, char const * b) {
    return std::string_view(a)==b;
}

#define FOO "bar"


int main() {
#if strings_equal( FOO, "bar") == 0
    std::cout << "got a bar!" << '\n';
#endif
    return 0;
}

用

编译

$ g++ -std=c++17 test.cpp -o my_test

给出错误：

test.cpp:12:18: error: missing binary operator before token "("
   12 | #if strings_equal( FOO, "bar") == 0
      |                  ^

编辑：

看来#if 指令是否在函数内部很重要，因为如果它在函数内部，我们可以用if constexpr (...) { ... } 替换它但是如果#if 在函数外部，这是不可能的在文件的顶层..我忘了在我的真实代码中提到这一点。

【问题讨论】：

这不起作用 - 预处理器在编译器之前运行。静态编译时表达式由编译器完成。
我认为这是不可能的，因为预处理发生在编译之前，而预处理器对函数一无所知。
哦，来吧。我们正试图摆脱预处理器。 constexpr 是朝这个方向迈出的一步，您想在预处理器中使用它（没有充分的理由）
也许您可以提供有关实际用例的更多详细信息。即使你不能使用if constexpr，也有其他方法可以在编译时常量上进行分支。
在这个冗长的 Stackoverflow QA 中，有些人成功地比较了预处理器字符串，具体取决于编译器和特定用例（任何字符串比较或列表之外）：stackoverflow.com/questions/2335888/… - 或者您可以考虑使用makefile 并在那里进行字符串比较

标签： c++ c++17 constexpr string-view

【解决方案1】：

这是不可能的。

但是你可以像这样使用 if constexpr。

#include <iostream>
#include <string_view>

constexpr bool strings_equal(char const * a, char const * b) {
    return std::string_view(a)==b;
}

constexpr auto FOO = "bar";

int main() {
    if constexpr (strings_equal( FOO, "bar")) {
        std::cout << "got a bar!" << '\n';
    }

    return 0;
}

Run-able Code

【讨论】：

我接受这个答案，即使它不能解决我的真正问题（请参阅我更新的问题），因为我忘了在我的问题中提及那部分