C++ 编译时检查预处理器指令中的类型相等性

Question

我想在 C++11 的编译时检查两个 POD 类型是否相等。我正在尝试 #define 适合 Float_T 类型的函数名称。这是我尝试过的：

#include <type_traits>

using Float_T = double;
// using Float_T = float;

#if is_same<Float_T, double>::value
    #define LOG2  log2
#else
    #define LOG2  log2f
#endif

 g++ complains:  error: extra text after expected end of preprocessing directive
  #if is_same<Float_T, double>::value
                     ^

谁能建议一种方法来做到这一点？

Answer 1

宏在source code is being parsed, much before compilation kicks in 时被评估，这就是为什么它只不过是一个简单的复制粘贴机制。所以，做这样的事情：

#if is_same<Float_T, double>::value
    #define LOG2  log2
#else
    #define LOG2  log2f
#endif

实际上是不可能的，因为在整个编译过程中，is_same 和 #if 在不同的时间被评估。你可以做的就是把宏变成一个函数，像这样：

#include <type_traits>
#include <cmath>

using Float_T = double;

template <typename T = Float_T>
typename std::enable_if<std::is_same<T, double>::value, double>::type LOG2(Float_T const& x) {
    return log2(x);
}

template <typename T = Float_T>
typename std::enable_if<!std::is_same<T, double>::value, float>::type LOG2(Float_T const& x) {
    return log2f(x);
}

// ...