0

c 风格的强制转换可以调用显式转换构造函数吗?

考虑以下代码:

class Vec3
{
public:

    explicit Vec3(float All) 
        : X(All), Y(All), Z(All)
    {
    }

    Vec3(float InX, float InY, float InZ)
        : X(InX), Y(InY), Z(InZ)
    {
    }

    Vec3()
        : X(0), Y(0), Z(0)
    {
    }

    float X, Y, Z;
};

void Morph(const Vec3& In, Vec3& Out)
{
    Out = In;
}

int main(void)
{
    float Array[3] = {1.0f, 2.0f, 3.0f};
    Vec3 Morphed;
    Morph((const Vec3&)Array[0], Morphed);
}

在 Microsoft VS2010 的编译器上,它将行转换(const Vec3&)Array[0]为 reinterpret_cast 和复制构造函数以将参数传递给函数。Morphed 的值为 [1.0f, 2.0f, 3.0f]。

在第三方的另一个编译器上,它转换(const Vec3&)Array[0]为调用explicit Vec3(float),然后转换为复制构造函数以将参数传递给函数。Morphed 的值为 [1.0f, 1.0f, 1.0f]。

我通过查看两个编译器的反汇编验证了这一点:

VS2010:

   483:     float Array[3] = {1.0f, 2.0f, 3.0f};
0000000143E68049  movss       xmm0,dword ptr [__real@3f800000 (145DA1F18h)]  
0000000143E68051  movss       dword ptr [rsp+28h],xmm0  
0000000143E68057  movss       xmm0,dword ptr [__real@40000000 (145DC9704h)]  
0000000143E6805F  movss       dword ptr [rsp+2Ch],xmm0  
0000000143E68065  movss       xmm0,dword ptr [__real@40400000 (145DC9708h)]  
0000000143E6806D  movss       dword ptr [rsp+30h],xmm0  
   484:     Vec3 Morphed;
0000000143E68073  xorps       xmm0,xmm0  
0000000143E68076  movss       dword ptr [rsp+58h],xmm0  
0000000143E6807C  xorps       xmm0,xmm0  
0000000143E6807F  movss       dword ptr [rsp+5Ch],xmm0  
0000000143E68085  xorps       xmm0,xmm0  
0000000143E68088  movss       dword ptr [rsp+60h],xmm0  
   485:     Morph((const Vec3&)Array[0], Morphed);
0000000143E6808E  lea         rdx,[rsp+58h]  
0000000143E68093  lea         rcx,[rsp+28h]  
0000000143E68098  call        Morph (143E67FB0h) 

其他编译器:

   184:     float Array[3] {1.0f, 2.0f, 3.0f};
0000000001E1F3B0  mov          rax,qword ptr [000000000432D1B0h] 
0000000001E1F3B7  mov          qword ptr [rbp-14h],rax 
0000000001E1F3BB  mov          edi,dword ptr [000000000432D1B8h] 
0000000001E1F3C1  mov          dword ptr [rbp-0Ch],edi 
   185:     Vec3 Morphed;
0000000001E1F3C4  lea          rdi,[rbp-130h] 
0000000001E1F3CB  call         Vec3::Vec3() (0000000003C119C0h) 
   186:     Morph((const Vec3&)Array[0], Morphed);
0000000001E1F3D0  lea          rdi,[rbp-140h] 
0000000001E1F3D7  vmovss       xmm0,dword ptr [rbp-14h] 
0000000001E1F3DC  call         Vec3::Vec3(float) (0000000003C119E0h) 
0000000001E1F3E1  lea          rdi,[rbp-140h] 
0000000001E1F3E8  lea          rsi,[rbp-130h] 
0000000001E1F3EF  call         Morph(Vec3 const&,Vec3&) (0000000001E1F350h) 

不用说,这会导致很多问题。哪个编译器是正确的?第三方代码依赖于微软的实现,但我们正在为不同的平台使用不同的编译器进行编译。

4

3 回答 3

4

就 C++标准而言,将 a 转换float &为 aconst Vec3 &是未定义的行为。两种编译器都是正确的,因为代码超出了 C++ 的保护范围。

如果您希望这是受保护的转换,则必须停止类型双关并将float数组的真实副本复制到Vec3.

于 2013-08-31T00:18:27.557 回答
0

由于您可以访问源代码,因此请正确执行,其中“正确”表示不调用未定义行为的内容。向您的类添加一个转换构造函数:

Vec3(const float* arr) : X(arr[0]), Y(arr[1]), Z(arr[2]) {}

现在您可以调用Morph(Array, Morphed);将该数组“变形”为 Vec3,甚至更短,只需使用Morphed = Array;

于 2013-08-31T00:44:12.183 回答
0

要修复代码,请转换为 toVec3而不是 to const Vec3&。转换为引用时,后续创建的 a 将Vec3不允许显式构造函数。

直接指定类类型将直接创建它的对象并允许使用显式构造函数。

于 2013-08-31T10:34:28.017 回答