核心语言
使用::
以下方式访问枚举器:
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中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(看起来像一个错误),并且不适用于clang的C ++ 03模式。c声PR已提交。
在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);
}