C/C++ 预处理器中是否有将字符串转换为数字的指令？

Question

我希望在我的代码中添加一些条件指令来控制不同的构建，例如：

#if VERSION > 100
/* Compiling here */
#endif

问题是“VERSION”在我无法更改的其他代码中。它被定义为一个字符串：

#define VERSION "101"

我想知道是否有某种宏或指令可以将字符串转换为数字，所以我可以简单地做

#if STRING_TO_NUMBER(VERSION) > 100
/* Compiling here */
#endif

请问可以吗？

PS。 看来我的描述不是很清楚。这个需求的主要目的是控制版本分支。例如，在旧版本 100 之前的版本中，该程序会使用 old_function()。在这个版本之后，所有函数都迁移到了 new_function。所以我需要写这样的代码：

#if VERSION >= 100
    old_function();
#else
    new_function();
#endif
#if VERSION >= 100
int old_function()
{
    ...
}
#else
int new_function()
{
    ...
}
#endif

你可以看到只有一个函数会被编译。因此条件必须在预处理阶段确定，而不是在运行时确定。

棘手的部分是，VERSION 被定义为一个字符串，这带来了这个问题。

Answer 1

如果您需要与预处理器交互以设置其他#defines 或有条件的#include 不同的标头。直到您可以将 VERSION “固定”为整数...

我能想到的唯一一件事就是创建一个定义 PROPER_VERSION 的小头文件，并通过将每个文件命名为版本号来包含它。所以在这里你会创建：

100:
#define PROPER_VERSION 100

101:
#define PROPER_VERSION 101

102:
#define PROPER_VERSION 102

然后您需要添加以下内容：

#include VERSION

然后根据需要使用PROPER_VERSION

#if PROPER_VERSION > 100
...

它并不优雅，但我看不出还有什么可以做的。您可以自动生成 VERSION 文件。

Answer 2

只要您不需要在VERSION 上进行声明或预处理器定义条件，并且只要您确信VERSION 字符串将只是一个没有前导零的整数，（两者都是可能要求太多），如果您的编译器具有相当有效的常量表达式评估器，您可能能够在编译时执行此操作。

例如，gcc 4.8 将优化掉以下if 测试，只留下适当的手臂：

if (strlen(VERSION) > 3 || (strlen(VERSION) == 3 && strcmp(VERSION, "100") > 0)) {
  // code if VERSION is at least "101"
} else {
  // code if VERSION is "100" or less
}

if 语句只有一个分支在编译过程中幸存下来这一事实很容易通过在未使用的分支中插入对未定义函数的调用来证明。使用 gcc（和 clang）并启用优化，不会产生链接器错误：

#include <stdio.h>
#include <string.h>
#define VERSION "101"
// This function is not available for linking
int unknown_function();
// This one is in standard library
int rand();
int main(void) {
    int x;
    if (strlen(VERSION) > 3 || (strlen(VERSION) == 3 && strcmp(VERSION, "100") > 0)) {
      // code if VERSION is at least "101"
      x = rand();
    } else {
      // code if VERSION is "100" or less
      x = unknown_function();
    }
    printf("%d\n", x);
    return 0;
}

（查看http://ideone.com/nGLGTH）

---

在 C++11 中，有一个更清晰的编译时版本。您可以创建constexpr 版本的atoi。结合某些人可能称之为滥用模板的行为，允许条件声明：

constexpr int const_atoi(const char* num, int accum=0) {
  return *num ? const_atoi(num+1, accum*10 + (*num - '0')) : accum;
}

template<bool V_GT_100> struct MoreOrLess_Impl;
template<> struct MoreOrLess_Impl<false> {
  // Old prototype
  void doit(double x) {...}
};
template<> struct MoreOrLess_Impl<true> {
  // New prototype
  void doit(long double x) {...}
};
using MoreOrLess = MoreOrLess_Impl<(const_atoi(VERSION) > 100)>;

// ...
// ... MoreOrLess::doit(x) ...

（http://ideone.com/H1sdNg 的愚蠢示例）