为什么 `decltype` 行为会因双括号而改变？

decltype 的高级应用

在 C 语言中，decltype 运算符是确定表达式类型的强大工具。虽然它通常按照您的预期运行，但在某些情况下，使用双括号可能会产生显着差异。

如 FCD (§7.6.1.2/4) 中所述：

const int&&& foo();
int i;
struct A { double x; };
const A* a = new A();

考虑以下示例：

decltype(foo()) x1 = i;     // type is const int&&&
decltype(i) x2;             // type is int
decltype(a->x) x3;          // type is double
decltype((a->x)) x4 = x3;   // type is const double&

问题出现了：为什么最后一行的括号会有所不同？直观上，人们可能会认为它应该只是双精度，类似于上面的行。

但是，FCD 提供了一些见解：

• 如果 e 是一个不带括号的 id 表达式或类成员访问 (5.2.5)，decltype(e) 是 e 命名的实体的类型。
• 如果 e 是左值，则 decltype(e) 是 T&，其中 T 是 e 的类型.

在这种情况下，decltype(a->x) 是类成员访问，因此 x3 具有 a->x 命名的实体的类型，为 double。然而，decltype((a->x)) 是一个左值，因此，x4 具有 a->x 的类型，即 const double&。

这种区别很微妙，但对于理解decltype 的细微差别。通过利用双括号的力量，程序员可以更精确地操作和确定类型，从而实现更健壮和灵活的代码。

以上是为什么 `decltype` 行为会因双括号而改变？的详细内容。更多信息请关注PHP中文网其他相关文章！