C++:在 MSVC 2010 中使用#if std::is_fundamental::value 进行条件编译

Question

在我的模板中，我需要根据类型名称是否为基本类型来使用不同的代码部分。

编译此代码会在 MSVC 中给出 C4067(预处理器指令后的意外标记 - 应为换行符):

template <typename T>
void MyClass<T>::foo()
{
// ... some code here
#if std::is_fundamental<T>::value
    if(m_buf[j] < m_buf[idx_min])
        idx_min = j;
#else
    const ASSortable& curr = dynamic_cast<ASSortable&>(m_buf[j]);
    const ASSortable& curr_min = dynamic_cast<ASSortable&>(m_buf[idx_min]);
    // error checking removed for simplicity
    if(curr.before(curr_min))
        idx_min = j;
}
#endif

该模板将使用原始数据类型和我自己的(派生自 ASSortable)数据类型，并且从模板实例化代码中抛出错误:

template class MyClass<char>;

尝试将预编译器表达式修改为此也不起作用:

#if std::is_fundamental<T>::value == true

并产生完全相同的警告。

有什么想法可以让这段代码没有警告吗？

编辑 想到的另一件事是将其转换为运行时检查并接受“constant if expression”警告..​​....真的没有办法优雅地做到这一点吗单一函数，没有专门化也没有额外的膨胀？

编辑 #2 所以我解决这个问题的方法(这很明显，但不知何故逃脱了我......)是定义一个 bool ASSortable::operator<(const ASSortable& _o) const {return this->before(_o);};它完成了工作并使代码干净(再次)。

没有了if s 或 #ifdef s 或我的代码中任何类似的困惑!

不敢相信我什至问了这个问题，因为它有一个如此明显和简单的答案:(

Answer 1

解决该问题的常见模式是将函数移至专门的基类并滥用继承将其引入您的范围:

template <typename T, bool is_fundamental>
struct Foo_impl {
   void foo() {
   }
};
template <typename T>
struct Foo_impl<T,true>
{
   void foo() {              // is fundamental version
   }
};
template <typename T>
class Foo : public Foo_impl<T, std::is_fundamental_type<T>::value> {
   // ...
};

另一种方法是在您的类中将它们实现为私有(private)函数，并根据特征从 foo 内部分派(dispatch)给它们。这是一个非常简单和干净的解决方案，但如果 foo_impl 的两个版本之一无法编译，则会失败。在那种情况下你可以使用，正如其他人建议的模板成员函数来解析，但是我仍然会提供非模板化的 foo 作为公共(public)接口(interface)，转发到私有(private) foo_impl 模板。原因是 template 中有一个 hack 条件编译的实现细节，而不是接口(interface)的一部分。您不希望用户代码使用与您自己的类的类型不同的模板参数调用该成员函数。借用pmr的回答:

template <typename T>
struct Foo
{
  template <typename U = T, 
            typename std::enable_if< 
              std::is_fundamental<U>::value, int >::type* _ = 0
           >
  void foo() {
    std::cout << "is fundamental" << std::endl;
  }
//...

该解决方案允许用户代码如下:

Foo<int> f;
f.foo<std::string>();

这将实例化一个您不需要也不想要的函数，并执行您不想要的逻辑。即使用户不试图欺骗您的类，接口(interface)中的模板这一事实也可能会造成混淆，并使用户认为可以为不同类型调用它。