116

可以编写一个函数，当用 C 编译器编译时将返回 0，而当用 C++ 编译器编译时，将返回 1（简单 的解决方案#ifdef __cplusplus并不有趣）。

例如：

int isCPP()
{
    return sizeof(char) == sizeof 'c';
}

当然，上面的方法只有在sizeof (char)不一样的情况下才有效sizeof (int)

另一个更便携的解决方案是这样的：

int isCPP()
{
    typedef int T;
    {
       struct T 
       {
           int a[2];
       };
       return sizeof(T) == sizeof(struct T);
    }
}

我不确定这些示例是否 100% 正确，但您明白了。我相信还有其他方法可以编写相同的功能。

在运行时可以检测到 C++03 和 C++11 之间的哪些差异（如果有）？换句话说，是否可以编写一个类似的函数来返回一个布尔值，指示它是由符合标准的 C++03 编译器还是 C++11 编译器编译的？

bool isCpp11()
{ 
    //???
}
4

8 回答 8

108

核心语言

使用 访问枚举器::：

template<int> struct int_ { };

template<typename T> bool isCpp0xImpl(int_<T::X>*) { return true; }
template<typename T> bool isCpp0xImpl(...) { return false; }

enum A { X };
bool isCpp0x() {
  return isCpp0xImpl<A>(0);
}

您还可以滥用新关键字

struct a { };
struct b { a a1, a2; };

struct c : a {
  static b constexpr (a());
};

bool isCpp0x() {
  return (sizeof c::a()) == sizeof(b);
}

此外，字符串文字不再转换为char*

bool isCpp0xImpl(...) { return true; }
bool isCpp0xImpl(char*) { return false; }

bool isCpp0x() { return isCpp0xImpl(""); }

不过，我不知道您将其用于实际实现的可能性有多大。一种利用auto

struct x { x(int z = 0):z(z) { } int z; } y(1);

bool isCpp0x() {
  auto x(y);
  return (y.z == 1);
}

以下是基于C++0x 中operator int&&的转换函数，以及C++03 中的逻辑-and 的转换int&&int

struct Y { bool x1, x2; };

struct A {
  operator int();
  template<typename T> operator T();
  bool operator+();
} a;

Y operator+(bool, A);

bool isCpp0x() {
  return sizeof(&A::operator int&& +a) == sizeof(Y);
}

该测试用例不适用于 GCC 中的 C++0x（看起来像一个错误），并且不适用于 C++03 模式的 clang。一个铿锵公关已经提交。

C++11中模板注入类名的修改处理：

template<typename T>
bool g(long) { return false; }

template<template<typename> class>
bool g(int) { return true; }

template<typename T>
struct A {
  static bool doIt() {
    return g<A>(0);
  }
};

bool isCpp0x() {
  return A<void>::doIt();
}

可以使用几个“检测这是 C++03 还是 C++0x”来演示重大更改。以下是经过调整的测试用例，最初用于演示这种更改，但现在用于测试 C++0x 或 C++03。

struct X { };
struct Y { X x1, x2; };

struct A { static X B(int); };
typedef A B;

struct C : A {
  using ::B::B; // (inheriting constructor in c++0x)
  static Y B(...);
};

bool isCpp0x() { return (sizeof C::B(0)) == sizeof(Y); }

标准库

operator void*检测C++0x 中的缺失std::basic_ios

struct E { E(std::ostream &) { } };

template<typename T>
bool isCpp0xImpl(E, T) { return true; }
bool isCpp0xImpl(void*, int) { return false; }

bool isCpp0x() {
  return isCpp0xImpl(std::cout, 0);
}
于 2011-06-24T20:10:12.090 回答
44

我从C++11 中引入了哪些重大变化？：

#define u8 "abc"

bool isCpp0x() {
   const std::string s = u8"def"; // Previously "abcdef", now "def"
   return s == "def";
}

这是基于优先于宏扩展的新字符串文字。

于 2011-06-24T20:37:50.573 回答
33

如何使用>>关闭模板的新规则进行检查：

#include <iostream>

const unsigned reallyIsCpp0x=1;
const unsigned isNotCpp0x=0;

template<unsigned>
struct isCpp0xImpl2
{
    typedef unsigned isNotCpp0x;
};

template<typename>
struct isCpp0xImpl
{
    static unsigned const reallyIsCpp0x=0x8000;
    static unsigned const isNotCpp0x=0;
};

bool isCpp0x() {
    unsigned const dummy=0x8000;
    return isCpp0xImpl<isCpp0xImpl2<dummy>>::reallyIsCpp0x > ::isNotCpp0x>::isNotCpp0x;
}

int main()
{
    std::cout<<isCpp0x()<<std::endl;
}

或者快速检查std::move：

struct any
{
    template<typename T>
    any(T const&)
    {}
};

int move(any)
{
    return 42;
}

bool is_int(int const&)
{
    return true;
}

bool is_int(any)
{
    return false;
}


bool isCpp0x() {
    std::vector<int> v;
    return !is_int(move(v));
}
于 2011-06-24T20:34:05.217 回答
16

与之前的 C++ 不同，C++0x 允许从引用类型创建引用类型，前提是该基引用类型是通过例如模板参数引入的：

template <class T> bool func(T&) {return true; } 
template <class T> bool func(...){return false;} 

bool isCpp0x() 
{
    int v = 1;
    return func<int&>(v); 
}

不幸的是，完美的转发是以破坏向后兼容性为代价的。

另一个测试可以基于现在允许的本地类型作为模板参数：

template <class T> bool cpp0X(T)  {return true;} //cannot be called with local types in C++03
                   bool cpp0X(...){return false;}

bool isCpp0x() 
{
   struct local {} var;
   return cpp0X(var);
}
于 2011-06-24T21:34:02.987 回答
15

这不是一个完全正确的例子，但它是一个有趣的例子，可以区分 C 和 C++0x（虽然它是无效的 C++03）：

 int IsCxx03()
 {
   auto x = (int *)0;
   return ((int)(x+1) != 1);
}
于 2011-06-24T20:21:19.387 回答
12

从这个问题：

struct T
{
    bool flag;
    T() : flag(false) {}
    T(const T&) : flag(true) {}
};

std::vector<T> test(1);
bool is_cpp0x = !test[0].flag;
于 2011-06-24T23:50:40.793 回答
9

虽然不是那么简洁......在当前的 C++ 中，类模板名称本身被解释为该类模板范围内的类型名称（不是模板名称）。另一方面，类模板名可以用作C++0x(N3290 14.6.1/1)中的模板名。

template< template< class > class > char f( int );
template< class > char (&f(...))[2];

template< class > class A {
  char i[ sizeof f< A >(0) ];
};

bool isCpp0x() {
  return sizeof( A<int> ) == 1;
}
于 2011-06-24T23:34:07.473 回答
9 
#include <utility>

template<typename T> void test(T t) { t.first = false; }

bool isCpp0x()
{
   bool b = true;
   test( std::make_pair<bool&>(b, 0) );
   return b;
}
于 2011-06-25T00:13:12.873 回答