编译器警告(等级 2)C4412

“function”: 函数签名包含类型 'type';在纯代码与混合代码或本机代码之间传递 C++ 对象是不安全的。

编译器已检测到可能导致运行时错误的潜在的不安全情况:将从某个 /clr:pure compiland 中调用已通过 dllimport 导入的函数,该函数签名包含不安全的类型。(译者注:compiland 为基本的编译或转换单位。一个项目通常包括若干 compiland(如 .c 和 .cpp 文件),系统编译 compiland 以产生对应的对象文件。) 如果类型包含成员函数或具有数据成员(它们为不安全类型或为到不安全类型的间接寻址),则该类型不安全。

不安全的原因在于纯代码与本机代码(或混合本机代码与托管代码)之间的默认调用约定存在差异。 将函数导入(通过 dllimport)/clr:pure compiland 中时,请确保签名中每种类型的声明都与导出函数的 compiland 中的声明相同(应特别注意隐式调用约定中的差异)。

虚拟成员函数特别容易产生意外结果。 但是即便如此,也应测试非虚函数,以确保获得正确的结果。 如果确保将获得正确结果,则可以忽略此警告。

有关 /clr:pure 的更多信息,请参见 如何:迁移到 /clr:pure (C++/CLI)

默认情况下,C4412 处于关闭状态。 有关更多信息,请参见 默认情况下关闭的编译器警告dllexport, dllimport

若要解除此警告,请从该类型中移除所有函数。

示例

下面的示例生成 C4412。

// C4412.cpp
// compile with: /c /W2 /clr:pure
#pragma warning (default : 4412)

struct Unsafe {
   virtual void __cdecl Test();
};

struct Safe {
   int i;
};

__declspec(dllimport) Unsafe * __cdecl func();
__declspec(dllimport) Safe * __cdecl func2();

int main() {
   Unsafe *pUnsafe = func();   // C4412
   // pUnsafe->Test();

   Safe *pSafe = func2();   // OK
}

下面的示例是用于声明两个类型的头文件。 Unsafe 类型有成员函数,因此是不安全的。

// C4412.h
struct Unsafe {
   // will be __clrcall if #included in pure compilation
   // defaults to __cdecl in native or mixed mode compilation
   virtual void Test(int * pi);

   // try the following line instead
   // virtual void __cdecl Test(int * pi);
};

struct Safe {
   int i;
};

此示例使用头文件中定义的类型导出函数。

// C4412_2.cpp
// compile with: /LD
#include "C4412.h"

void Unsafe::Test(int * pi) {
   *pi++;
}

__declspec(dllexport) Unsafe * __cdecl func() { return new Unsafe; }
__declspec(dllexport) Safe * __cdecl func2() { return new Safe; }

/clr:pure 编译中的默认调用约定不同于本机编译中的对应约定。 包括 C4412.h 时,Test 将默认为 __clrcall。 如果编译并运行此程序(不使用 /c),该程序将引发异常。

下面的示例生成 C4412。

// C4412_3.cpp
// compile with: /W2 /clr:pure /c /link C4412_2.lib
#pragma warning (default : 4412)
#include "C4412.h"

__declspec(dllimport) Unsafe * __cdecl func();
__declspec(dllimport) Safe * __cdecl func2();

int main() {
   int n = 7;
   Unsafe *pUnsafe = func();   // C4412
   pUnsafe->Test(&n);

   Safe *pSafe = func2();   // OK
}