学步园

function abc(A: Integer): IUnknown;

这是一个Delphi的函数声明，看上去很简单，只有一个参数而已，但是真实情况呢？在编译成二进制代码后，实际上函数的参数已经有2个了！

为了更详细的说明问题，先用Delphi写一个DLL，导出一个接口，接口有一个Show方法。

library Project1;

uses
  Windows;

{$R *.res}

type
  ITest = interface
    procedure Show(); stdcall;
  end;

  TTest = class(TInterfacedObject, ITest)
  public
    procedure Show(); stdcall;
  end;

function GetTest: ITest; stdcall;
begin
  Result := TTest.Create;
end;

exports
  GetTest;

{ TTest }

procedure TTest.Show;
begin
  OutputDebugString('Hello World');
end;

begin
end.

调用方用C++编写

#include "stdafx.h"
#include <iostream>
#include <Windows.h>

interface ITest : public IUnknown
{
	virtual void __stdcall show() = 0;
};

typedef ITest* (WINAPI *GetITest)();

int _tmain(int argc, _TCHAR* argv[])
{
	HMODULE h = LoadLibrary(TEXT("Project1.dll"));
	if (h != 0)
	{
		GetITest get = (GetITest)GetProcAddress(h, "GetTest");
		ITest *test = get();
		test->show();
		test->Release();
	}
	system("pause");
	return 0;
}

运行后直接弹出一个内存错误

出错语句在DLL中

function GetTest: ITest; stdcall;
begin
  Result := TTest.Create;
end;

以反汇编代码的形式查看这个函数就能发现问题

可以看到，函数返回值是接口类型的时候，实际上返回值是一个隐式的参数，是一个二级指针类型。在Dephi中使用不会发现问题，因为它自动作出了优化。

而在多语言混合编程中，这样直接返回一个接口或对象的时候就会出现内存为空的错误。

修改后的调用代码

#include "stdafx.h"
#include <iostream>
#include <Windows.h>

interface ITest : public IUnknown
{
	virtual void __stdcall show() = 0;
};

// 正确的函数原型
typedef VOID (WINAPI *GetITest)(ITest**);

int _tmain(int argc, _TCHAR* argv[])
{
	HMODULE h = LoadLibrary(TEXT("Project1.dll"));
	if (h != 0)
	{
		GetITest get = (GetITest)GetProcAddress(h, "GetTest");
		
		// 修改后的调用方法
		ITest *test = nullptr;
		get(&test);

		test->show();
		test->Release();
	}
	system("pause");
	return 0;
}

最后可以总结出一点经验，当Delphi函数返回值为接口类型的时候，函数会认为第一个参数是一个接口缓冲区，用于接受接口的实例对象。

那么是否可以在不改变C++这边调用方式的前提下直接返回接口指针呢？答案也是肯定的，只要把返回数据类型改为基础类型即可

function GetTest: Pointer; stdcall;
var
  Temp: ITest;
begin
  Temp := TTest.Create;
  Temp._AddRef;
  Result := Pointer(Temp);
end;

由于函数返回值已不再是一个接口类型，Delphi也不会去调用接口的AddRef方法把引用计数+1了，所以在创建接口后得手动调用AddRef方法

否则函数在结束后会自动释放Temp，导致返回值是一个野指针。