如何找到public extern bool Equals(String value)的实现代码？[C#, C++, BCL, CLR]

如何找到public extern bool Equals(String value)的实现代码？[C#, C++, BCL, CLR]

Written by Allen Lee

Q：在微软提供的Rotor源代码中，我发现String.Equals(String value)的代码只有下面两行：

// Code #01

[MethodImplAttribute(MethodImplOptions.InternalCall)]

public extern bool Equals(String value);

那么，在哪里可以找到该方法的实现代码呢？

A：打开Rotor源代码的sscli\clr\src\vm\ecall.cpp文件，搜索“Equals”关键字，你将找到如下所示的数组成员：

// Code #02

static ECFunc gStringFuncs[] = {

// Other members here

{FCFuncElement("Equals", &gsig_IM_Str_RetBool, (LPVOID)COMString::EqualsString)},

// Other members here

};

从该数组成员中，我们可以得知我们要寻找的就是COMString::EqualsString函数。那么，ComString::EqualsString函数的实现代码又在哪里呢？

打开Rotor源代码的sscli\clr\src\vm\comstring.cpp文件，搜索“COMString::EqualsString”关键字，怎么样，找到实现代码了吗？

Q：是的，我找到了：

// Code #03

FCIMPL2(INT32, COMString::EqualsString, StringObject* thisStr, StringObject* valueStr)

{

VALIDATEOBJECTREF(thisStr);

VALIDATEOBJECTREF(valueStr);

INT32 ret = false;

if (NULL==thisStr)

FCThrow(kNullReferenceException);

if (!valueStr)

{

FC_GC_POLL_RET();

return ret;

}

ret = WcharCompareHelper (STRINGREF(thisStr), STRINGREF(valueStr));

FC_GC_POLL_RET();

return ret;

}

FCIMPLEND

你能否简单说明一下？

A：Code #03的函数的定义使用了宏（Macro）。在sscli\clr\src\vm\fcall.h文件中，你会找到如下语句：

// Code #04

#define FCDECL2(rettype, funcname, a1, a2) rettype F_CALL_CONV funcname(a1, a2)

这就是该函数的宏定义。于是，上面你所找到的C++代码就可以展开为：

// Code #05

INT32 F_CALL_CONV COMString::EqualsString(StringObject* thisStr, StringObject* valueStr)

{

}

Code #04所示的宏是对应着x86体系的，对于非x86体系，该函数的宏定义为：

// Code #06

#define FCIMPL2(rettype, funcname, a1, a2) rettype funcname(a1, a2) { FCIMPL_PROLOG(funcname)

另外，该函数其实把真正的比较工作交给了WcharCompareHelper函数，你可以在同一个文件（comstring.cpp）中找到它的真身：

// Code #07

bool WcharCompareHelper (STRINGREF thisStr, STRINGREF valueStr)

{

DWORD *thisChars, *valueChars;

int thisLength, valueLength;

//Get all of our required data.

RefInterpretGetStringValuesDangerousForGC(thisStr, (WCHAR**)&thisChars, &thisLength);

RefInterpretGetStringValuesDangerousForGC(valueStr, (WCHAR**)&valueChars, &valueLength);

//If they're different lengths, they're not an exact match.

if (thisLength!=valueLength) {

return false;

}

// Loop comparing a DWORD (2 WCHARs) at a time.

while ((thisLength -= 2) >= 0)

{

if (*thisChars != *valueChars)

return false;

++thisChars;

++valueChars;

}

// Handle an extra WCHAR.

if (thisLength == -1)

return (*((WCHAR *) thisChars) == *((WCHAR *) valueChars));

return true;

}

至此，你已经找到Rotor的String.Equals(String value)的实现算法了。

Q：ecall.cpp文件是用来干什么的？

A：该文件包含着为数众多的数组，这些数组实质上充当一个表的角色，用于把标记了[MethodImplAttribute(MethodImplOptions.InternalCall)]属性的方法映射为非托管的C++实现。其中，数组的成员实际上也使用了宏。Code #02中的

// Code #08

FCFuncElement("Equals", &gsig_IM_Str_RetBool, (LPVOID)COMString::EqualsString)

就对应着Code #09的宏定义：

// Code #09

#define FCFuncElement(A,B,C) A, B, C, NULL, CORINFO_INTRINSIC_Illegal

Q：fcall.h文件又是用来干什么的？

A：该文件也定义了为数众多的宏，这些宏充当着“函数模板”的角色，用于把签名相类似的函数组织起来，并以统一的方式展开。该文件开头还留有相关的注释，用于说明这些宏的作用、工作原理以及相关注意事项。

Q：什么情况下，我们可以使用这种方法来查找Rotor BCL中没有给出具体实现的方法代码？

A：我们知道，没有给出具体实现代码的方法，需要添加extern以表明该实现在别的某处可以找到，一般情况下，该修饰符与DllImportAttribute结合使用：

// Code #10

[DllImport("uxtheme.dll")]

static public extern int SetWindowTheme(IntPtr hWnd, StringBuilder AppID, StringBuilder ClassID);

static public void DisableWindowsXPTheme(IntPtr hWnd)

{

// Disable using the Window XP Theme for the Window handle

// passed as a parameter

StringBuilder applicationName = new StringBuilder(" ", 1);

StringBuilder classIDs = new StringBuilder(" " , 1);

Win32.SetWindowTheme(hWnd, applicationName, classIDs);

}

这样，.NET就会自动从uxtheme.dll那里寻找对应的实现代码，这种调用方式叫做PInvoke。当然，这种情况下，你是无法获取具体的实现代码了。

然而，BCL中有相当一部分方法使用extern和MethodImplAttribute来修饰的，此时，只要给MethodImplAttribute的构造函数传递的参数是MethodImplOptions.InternalCall枚举，就代表着你可以使用我介绍给你的方法来寻找实现代码了。底线是你拥有这些底层非托管源代码让你寻找！

Q：MethodImplAttribute用来干什么的？

A：该Attribute位于System.Runtime.CompilerServices命名空间，结合MethodImplOptions枚举来使用，用于描述方法或者构造器的实现方式。Code #01中的[MethodImplAttribute(MethodImplOptions.InternalCall)]则用于说明该方法的具体实现可以从CLR内部找到。该属性实质上是一种伪属性（pseudo-attribute），有别于普通的自定义属性，它是以位的形式储存在元数据表（metadata table）中的，并且只能通过MethodBase.GetMethodImplementationFlags来获取相关的信息。

Q：从上面的讨论，我们可以了解到EqualsString函数是属于一个叫ComString的类，那么这个ComString类与BCL中的String类有什么关系？

A：Good question！Rotor BCL中的String.cs中我们可以找到这样一句话：

Actual implementations are in String.cpp

事实上，这个String.cpp就是comstring.cpp；同样，在comstring.cpp中，我们也可以看到这样一句话：

Purpose: The implementation of the String class.

我们发现String.cs中很多方法都没有提供具体的实现代码，而这些方法的真身其实就隐藏在comstring.cpp中。

Q：最后，对于探索.NET内部原理，你有什么好推荐？

A：其实微软所提供的Rotor源代码以及Mono这个开源项目里面已经有很丰富的注释以供学习之用。当然，我还是要为大家介绍几个有用的连接：

Rotor Source code：该网站以网页的的形式把Rotor BCL的代码展示出来，相关的代码使用C#语言。
Rotor VM Documentation：该网站以网页的形式把Rotor VM的代码展示出来，相关的代码使用C++语言。
Jason Whittington, Shared Source CLI Provides Source Code for a FreeBSD Implementation of .NET。

希望这些资料能够帮助大家更好的探索.NET的内部原理。