使用 SFINAE 检测 C++ 中类型的 POD 性；

Question

这里原来的标题是 VS2005 C++ 中 SFINAE 错误的解决方法

这是暂时使用 SFINAE 来为 TR1 中存在的 is_pod 模板类创建等效项（在 VS2005 中还没有 TR1）。 当模板参数是 POD 类型（包括基本类型和由它们组成的结构）时，它的 value 成员应该为 true；当模板参数不是 POD 类型时（如非平凡的构造函数），它的 value 成员应该为 false。

template <typename T> class is_pod
{
  public:

    typedef char Yes;
    typedef struct {char a[2];} No;

    template <typename C> static Yes test(int)
    {
      union {T validPodType;} u;
    }
    template <typename C> static No test(...)
    {
    }
    enum {value = (sizeof(test<T>(0)) == sizeof(Yes))};
};

class NonPOD
{
  public:
    NonPod(const NonPod &);
    virtual ~NonPOD();
};

int main()
{
  bool a = is_pod<char>::value;
  bool b = is_pod<NonPOD>::value;
  if (a) 
    printf("char is POD\n");
  if (b)
    printf("NonPOD is POD ?!?!?\n");
  return 0;
}

问题是，VS 2005 不仅没有 TR1，它也不会关心上面的并集（当模板参数不是 POD 时，它不应该有效），因此 a 和 b 的计算结果都为 true。

---

感谢下面发布的答案。 仔细阅读它们（和代码）后，我意识到我想做的确实是一个错误的方法。 这个想法是将 SFINAE 行为与对模板 must_be_pod 的改编结合起来（我在《Imperfect C++》一书中找到了它，但也可以在其他地方找到它）。 实际上，这需要 SFINAE 制定一套非常特殊的规则，显然这不是标准定义的。 毕竟，这并不是 VS 中的一个真正的错误。

Answer 1

您的方法的最大问题是您在这里不执行 SFINAE - SFINAE 仅适用于此处的参数类型和返回类型。

然而，在标准中的所有 SFINAE 情况中，没有一个适用于您的情况。 它们是

• void、引用、函数或非
• 类型成员的无效大小的数组 指向引用的类型
• 指针、对引用的引用、对指向
• 非类类型成员的 void 指针的
• 引用模板值参数函数
• 类型 的参数
• 的无效转换void const/volatile 函数类型

这可能就是为什么在 Boost 文档中，有：

没有一些（尚未指定）帮助
从编译器来看，ispod 永远不会
报告一个类或结构是
荚; 如果可能的话，这总是安全的
次优。 目前（2005 年 5 月）仅
MWCW 9 和 Visual C++ 8 具有
必要的编译器-_intrinsics。

Answer 2

这也不适用于 VS2008，但我怀疑您也知道这一点。 SFINAE 用于推导模板参数的模板参数； 即使您可以创建与另一种类型不兼容的类型（即联合不能使用非 POD），您也无法真正推断出揭示类型构造函数的类型。

事实上，VS 2008 使用编译器对特征的支持来实现 std::tr1::type_traits。

Answer 3

我不确定你在这里尝试执行 SFINAE 的方式，因为 is_pod::test(...) 将匹配 is_pod::test( 0) 也是如此。 也许如果您使用不同的类型而不是“int”，您会得到更好的匹配：

template <typename T> class is_pod
{
  struct my_special_type { };
  public:
    typedef char Yes;
    typedef struct {char a[2];} No;

    template <typename C> static Yes test(my_special_type)
    {
      union {T validPodType;} u;
    }

    template <typename C> static No test(...)
    {
    }
    enum {value = (sizeof(test<T>(my_special_type())) == sizeof(Yes))};
};

您可能还想查看 Boost.Enable_if 为您执行 SFINAE - 除非您尝试实现自己的库或出于某种原因。