编译器对类型特征的支持（C++/CLI 和 C++/CX）

  • 项目

Microsoft C++ 编译器支持对 C++/CLI 和 C++/CX 扩展使用类型特征，用于指明在编译时类型的各种特征。

所有运行时

备注

类型特征对编写库的编程人员尤其有用。

下面列出了编译器支持的类型特征。 如果不满足类型特征的名称所指定的条件，任何类型特征都会返回 false。

（在下面的列表中，代码示例仅用 C++/CLI 编写。但除非另有说明，否则 C++/CX 也支持相应类型特征。“平台类型”一词是指 Windows 运行时类型或公共语言运行时类型。）

  • type

    如果平台或本机类型有复制赋值运算符，则返回 true。

    ref struct R {
void operator=(R% r) {}
};

int main() {
System::Console::WriteLine(__has_assign(R));
}

  • type

    如果平台或本机类型有复制构造函数，则返回 true。

    ref struct R {
R(R% r) {}
};

int main() {
System::Console::WriteLine(__has_copy(R));
}

  • type

    （在 C++/CX 中不受支持。）如果 CLR 类型有终结器，则返回 true。 有关详细信息，请参阅如何：定义和使用类和结构 (C++/CLI) 中的析构函数和终结器。

    using namespace System;
ref struct R {
~R() {}
protected:
!R() {}
};

int main() {
Console::WriteLine(__has_finalizer(R));
}

  • type

    如果复制赋值运算符有空异常规范，则返回 true。

    #include <stdio.h>
struct S {
void operator=(S& r) throw() {}
};

int main() {
__has_nothrow_assign(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果默认构造函数有空异常规范，则返回 true。

    #include <stdio.h>
struct S {
S() throw() {}
};

int main() {
__has_nothrow_constructor(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果复制构造函数有空异常规范，则返回 true。

    #include <stdio.h>
struct S {
S(S& r) throw() {}
};

int main() {
__has_nothrow_copy(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果类型有编译器生成的普通赋值运算符，则返回 true。

    #include <stdio.h>
struct S {};

int main() {
__has_trivial_assign(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果类型有编译器生成的普通构造函数，则返回 true。

    #include <stdio.h>
struct S {};

int main() {
__has_trivial_constructor(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果类型有编译器生成的普通复制构造函数，则返回 true。

    #include <stdio.h>
struct S {};

int main() {
__has_trivial_copy(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果类型有编译器生成的普通析构函数，则返回 true。

    // has_trivial_destructor.cpp
#include <stdio.h>
struct S {};

int main() {
__has_trivial_destructor(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果平台或本机类型有用户声明的析构函数，则返回 true。

    // has_user_destructor.cpp

using namespace System;
ref class R {
~R() {}
};

int main() {
Console::WriteLine(__has_user_destructor(R));
}

  • type

    如果类型有虚析构函数，则返回 true。

    __has_virtual_destructor 也适用于平台类型，且平台类型中任何用户定义的析构函数都是虚拟的析构函数。

    // has_virtual_destructor.cpp
#include <stdio.h>
struct S {
virtual ~S() {}
};

int main() {
__has_virtual_destructor(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果类型为抽象类型，则返回 true。 若要详细了解本机抽象类型，请参阅抽象类。

    __is_abstract 也适用于平台类型。 具有至少一个成员的接口为抽象类型，就像是具有至少一个抽象成员的引用类型。 若要详细了解抽象平台类型，请参阅 abstract。

    // is_abstract.cpp
#include <stdio.h>
struct S {
virtual void Test() = 0;
};

int main() {
__is_abstract(S) == true ?
printf("true\n") : printf("false\n");
}

  • __is_base_of( base , derived )

    如果第一个类型是第二个类型的基类，或如果两个类型相同，则返回 true。

    __is_base_of 也适用于平台类型。 例如，如果第一个类型是 interface class，且第二个类型实现接口，它便会返回 true。

    // is_base_of.cpp
#include <stdio.h>
struct S {};
struct T : public S {};

int main() {
__is_base_of(S, T) == true ?
printf("true\n") : printf("false\n");

__is_base_of(S, S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果类型为本机类或结构，则返回 true。

    #include <stdio.h>
struct S {};

int main() {
__is_class(S) == true ?
printf("true\n") : printf("false\n");
}

  • __is_convertible_to( from , to )

    如果第一个类型可转换为第二个类型，则返回 true。

    #include <stdio.h>
struct S {};
struct T : public S {};

int main() {
S * s = new S;
T * t = new T;
s = t;
__is_convertible_to(T, S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果 type 是委托，则返回 true。 有关详细信息，请参阅 delegate（C++/CLI 和 C++/CX）。

    delegate void MyDel();
int main() {
System::Console::WriteLine(__is_delegate(MyDel));
}

  • type

    如果类型没有实例数据成员，则返回 true。

    #include <stdio.h>
struct S {
int Test() {}
static int i;
};
int main() {
__is_empty(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果类型为本机枚举，则返回 true。

    // is_enum.cpp
#include <stdio.h>
enum E { a, b };

struct S {
enum E2 { c, d };
};

int main() {
__is_enum(E) == true ?
printf("true\n") : printf("false\n");

__is_enum(S::E2) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果传递的是平台接口，则返回 true。 有关详细信息，请参阅 interface class。

    // is_interface_class.cpp

using namespace System;
interface class I {};
int main() {
Console::WriteLine(__is_interface_class(I));
}

  • type

    如果类型为不含构造函数或私有/受保护的非静态成员、不含基类且不含虚函数的类或联合，则返回 true。 请参见 C++ 标准，8.5.1/1、9/4 和 3.9/10 小节以获取有关 POD 的详细信息。

    __is_pod 将在基本类型上返回 false。

    #include <stdio.h>
struct S {};

int main() {
__is_pod(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果本机类型有虚函数，则返回 true。

    #include <stdio.h>
struct S {
virtual void Test(){}
};

int main() {
__is_polymorphic(S) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果传递的是平台数组，则返回 true。 有关详细信息，请参阅 array。

    using namespace System;
int main() {
array<int>^ x = gcnew array<int>(10);
Console::WriteLine(__is_ref_array(array<int>));
}

  • type

    如果传递的是引用类，则返回 true。 若要详细了解用户定义引用类型，请参阅类和结构。

    using namespace System;
ref class R {};
int main() {
Console::WriteLine(__is_ref_class(Buffer));
Console::WriteLine(__is_ref_class(R));
}

  • type

    如果传递的是已标记 sealed 的平台或本机类型，则返回 true。 有关详细信息，请参阅 sealed。

    ref class R sealed{};
int main() {
System::Console::WriteLine(__is_sealed(R));
}

  • type

    如果传递的是不含对垃圾回收堆的引用的值类型，则返回 true。 若要详细了解用户定义值类型，请参阅类和结构。

    using namespace System;
ref class R {};
value struct V {};
value struct V2 {
R ^ r;   // not a simple value type
};

int main() {
Console::WriteLine(__is_simple_value_class(V));
Console::WriteLine(__is_simple_value_class(V2));
}

  • type

    如果类型为联合，则返回 true。

    #include <stdio.h>
union A {
int i;
float f;
};

int main() {
__is_union(A) == true ?
printf("true\n") : printf("false\n");
}

  • type

    如果传递的是值类型，则返回 true。 若要详细了解用户定义值类型，请参阅类和结构。

    value struct V {};

int main() {
System::Console::WriteLine(__is_value_class(V));
}

Windows 运行时

备注

__has_finalizer(type) 类型特征不受支持，因为此平台不支持终结器。

要求

编译器选项：/ZW

公共语言运行时

备注

（此功能没有特定于平台的备注。）

要求

编译器选项：/clr

示例

示例

下面的代码示例演示如何使用类模板来公开适用于 /clr 编译的编译器类型特征。 有关详细信息，请参阅 Windows 运行时和托管模板。

// compiler_type_traits.cpp
// compile with: /clr
using namespace System;

template <class T>
ref struct is_class {
   literal bool value = __is_ref_class(T);
};

ref class R {};

int main () {
   if (is_class<R>::value)
      Console::WriteLine("R is a ref class");
   else
      Console::WriteLine("R is not a ref class");
}

R is a ref class

另请参阅

.NET 和 UWP 的组件扩展