3

我想在编译时跟踪一些当前采用相同类型参数的函数的本质上的“类型”信息。这是一个例子；假设我有两个函数getThingIndex(uint64_t t)和getThingAtIndex(uint64_t tidx). 第一个函数将参数视为 的编码，对thing索引进行非平凡的计算，然后返回它。然后可以通过调用getThingAtIndex. getThingAtIndex，另一方面，假设您正在查询结构并且已经有一个索引。这两种方法中的后者更快，但更重要的是，我想避免因传递thingtogetThingAtIndex或传递indexto可能导致的头痛getThingIndex。

我正在考虑为thing和事物索引创建类型，如下所示：

struct Thing { uint64_t thing; }
struct ThingIndex { uint64_t idx; }

然后将上述函数的签名更改为

getThingIndex(Thing t)
getThingAtIndex(ThingIndex idx)

现在，尽管Thing和ThingIndex编码相同的底层类型，但它们在编译时仍然是不同的，并且通过将索引 getThingIndex或事物传递给getThingAtIndex.

但是，我担心这种方法的开销。这些函数被调用了很多次（10s-100s 数百万次），我很好奇编译器是否会优化这些结构的创建，这些结构基本上只对编译时类型信息进行编码。如果编译器不会执行这样的优化，有没有办法以零开销创建这些类型的“丰富类型”？

4

1 回答 1

5

拆机看看。

unsigned long long * x = new unsigned long long;
0110784E  push        8  
01107850  call        operator new (01102E51h)  
01107855  add         esp,4  
01107858  mov         dword ptr [ebp-0D4h],eax  
0110785E  mov         eax,dword ptr [ebp-0D4h]  
01107864  mov         dword ptr [x],eax  
*x = 5;
01107867  mov         eax,dword ptr [x]  
0110786A  mov         dword ptr [eax],5  
01107870  mov         dword ptr [eax+4],0

和结构。

struct Thing { unsigned long long a; };
Thing * thing = new Thing;
0133784E  push        8  
01337850  call        operator new (01332E51h)  
01337855  add         esp,4  
01337858  mov         dword ptr [ebp-0D4h],eax  
0133785E  mov         eax,dword ptr [ebp-0D4h]  
01337864  mov         dword ptr [thing],eax  
thing->a = 5;
01337867  mov         eax,dword ptr [thing]  
0133786A  mov         dword ptr [eax],5  
01337870  mov         dword ptr [eax+4],0

两条指令没有区别。编译器并不关心它this->a是结构的成员，它访问它就像你刚刚声明了unsigned long long a.

于 2013-03-28T19:04:33.240 回答