联合内部的未知成员函数

时间:2013-08-20 20:00:15

标签: c++ struct unions

我正在阅读一段代码。我相信这是在C ++中的:

 union Float_t
 {
    Float_t(float num = 0.0f) : f(num) {}
    // Portable extraction of components.
    bool Negative() const { return (i >> 31) != 0; }
    int32_t RawMantissa() const { return i & ((1 << 23) - 1); }
    int32_t RawExponent() const { return (i >> 23) & 0xFF; }

    int32_t i;
    float f;
    #ifdef _DEBUG
    struct
    {   // Bitfields for exploration. Do not use in production code.
         uint32_t mantissa : 23;
         uint32_t exponent : 8;
         uint32_t sign : 1;
    } parts;
    #endif
};

有人可以解释两件事吗?

1 ..

 Float_t(float num = 0.0f) : f(num) {}   

这句话是什么意思?当未定义f时f(num)的含义是什么?

2 ..为什么在代码的后半部分需要#ifdef _DEBUG和#endif?

感谢。

1 个答案:

答案 0 :(得分:3)

Float_t(float num = 0.0f) : f(num) {} 

这是一个构造函数,它接受一个设置Float_t::f值的参数。构造函数有一个默认参数,用于将Float_t::f设置为0.0f

构造函数调用示例:

Float_t f1; // f1.f == 0.0f; is true
Float_t f2 = Float_t(3.f); // f2.f == 3.0f; is true
  

2 ..为什么在代码的后半部分需要#ifdef _DEBUG和#endif?

代码编写器将信息用于调试目的,并且不希望联合用户访问该信息。

请注意,如果在生产代码中启用,添加的信息不会影响性能或内存使用情况。

请注意,所有联盟成员都位于相同的内存地址,f1f2的以下信息包含

f1.f == 0.0f; // evaluates to true
f1.i == 0; // evaluates to true
f1.parts.mantissa == 0; // evaluates to true
f1.parts.exponent == 0; // evaluates to true
f1.parts.sign == 0; // evaluates to true

f2.f == 3.0f; // evaluates to true
f2.i == 1077936128; // evaluates to true
f2.parts.mantissa == 4194304; // evaluates to true
f2.parts.exponent == 128; // evaluates to true
f2.parts.sign == 0; // evaluates to true

sizeof(f1) == 4; // evaluates to true

reinterpret_cast<float&>(f2.i) == f2.f; // evaluates to true

修改

上面代码中的常量值是在一个小端配置上获得的,声明为位字段的数据排序是从低位到高位