CUDA half2类型解包：.x/.y与__low2half/__high2half哪个正确？

CUDA的half2类型是将两个16位浮点数打包到32位内存空间的向量类型，目前有两种看似可行的解包方式：直接访问.x、.y成员，或是使用__low2half、__high2half函数。多数常规场景下两者结果一致，比如以下代码通常能通过断言：

assert(q.x == __low2half(q));
assert(q.y == __high2half(q));

但在涉及特殊浮点值（如inf、nan）或特定数值的内核运行场景中，两者会出现明显不一致，例如：

x=-57344,       y=-53376,   low=0.234497,   high=-0.17041
x=-inf,         y=nan,      low=0.00634766, high=0.473877
x=nan,          y=nan,      low=-0.0716553, high=0.540039
x=0,            y=0,        low=0,          high=0
x=3.8147e-05,   y=nan,      low=nan,        high=nan
x=-61440,       y=nan,      low=-0.999512,  high=0.31958

正确的解包方式：直接访问.x、.y成员 #

__low2half和__high2half函数的设计目的并非解包half2类型：

• 这两个函数的参数是unsigned int，调用时若传入half2会触发隐式类型转换，将half2的32位内存直接当作无符号整数处理，再提取低/高16位并解析为half。这种方式完全忽略了half2作为浮点向量的类型定义，仅从内存二进制层面做粗暴解析，遇到特殊浮点值或内存布局与整数解析逻辑不匹配时，必然出现错误。
• .x、.y是CUDA为half2类型原生定义的成员访问方式，完全遵循half2的设计规范，能准确对应打包后的两个16位浮点数，无论常规数值还是inf、nan这类特殊值，都能正确解包。

内容的提问来源于stack exchange，提问作者Martin Ueding