我尝试通过使用模板参数来引用全局变量的子元素 - 它确实适用于全局变量,但不适用于全局变量的子元素 - 为什么在编译时无法解析子元素的位置?
typedef unsigned char byte_t;
typedef unsigned short word_t;
struct byte_reg_t
{
byte_t low;
byte_t high;
};
union word_reg_t
{
word_t value;
byte_reg_t part;
};
word_t rax;
byte_t rah;
word_reg_t r16;
byte_reg_t r8;
template<typename ValueType, ValueType& Ref>
ValueType ret_ref()
{
return Ref;
}
int main()
{
word_t x = ret_ref<word_t,rax>();
byte_t h = ret_ref<byte_t,rah>();
//word_t sx = ret_ref<word_t,r16.value>(); // compile error
//byte_t sh = ret_ref<byte_t,r16.part.low>(); // compile error
//byte_t sh2 = ret_ref<byte_t,r8.low>(); // compile error
return 0;
}
VS2010 和 clang 3.1 编译器不允许 // 编译错误行
感谢您提供任何清晰的描述,因为我没有看到编译器这种行为的任何技术原因