C++语法理解问题

Question

我阅读了一些用C++创建的项目的技术文档。我发现有一行代码包含我不懂的语法：

using c = char (& (cClass::* [1]) (cClass(*)[2]) &)[3];

我看到在这里使用关键字，这意味着我们处理别名，但这行是做什么的？我怎么能理解呢？我认为这会创建命名别名c并将表达式的结果分配给它。但是这个表达是什么呢？

Answer 1

类型必须从中间开始解释（如果是变量声明，变量名将在中间）。向右走，直到打到结尾或。然后向左走，直到打到开头或。此时，您要么解释了整个类型（然后就完成了），要么就在(...)中，在这种情况下，您将丢弃它们并重复相同的过程（先向右，然后向左）。

由于这不是一个变量声明，您首先需要找到变量名在哪里，如果它是一个。凭直觉（一旦您有了一些经验）更容易做到，但一个很好的经验法则是从左边走，直到您点击)或(...)或[...]。

知道了这一点，我们就可以把这变成一个变量声明。我添加了x作为变量名：

char (& (cClass::*x[1]) (cClass(*)[2]) &)[3];

现在我们可以开始阅读类型了。首先我们转到右边:
x变量x是...
x[1]一个有一个元素的数组，包含...
（右边没有其他内容，转到左边。）
Cclass::*x[1]类Cclass的指针，类型为...
(Cclass::*x[1])（左边没有其他内容，跳过括号。）
(Cclass::*x[1])。
&包含一些参数的函数，&限定的¹，返回...
（右边没有其他内容，请到左边。）
&(CClass::*X[1])(............)&引用...
(&(Cclass::*x[1])(...........)&)（左边没有其他内容，跳过括号。）
(&(Cclass::*x[1])(........)&)[3]包含3个元素的数组，包含...
字符(&(Cclass::*x[1])(........)&)[3]字符

我们就完了。函数参数(cclass(*)[2])的类型必须使用相同的过程单独解释。它是“大小为2的数组的指针，包含cclasses”。

¹函数参数右侧的&表示只能对lvalues调用它（该函数是“&-qualified”）。

Answer 2

这里是如何阅读你的类型，一步一步。为了清楚起见，下面我们声明一个变量x。

T x[1]

x是t类型的数组（长度为1

cClass::* x[1]

x是cclass中指向成员的指针数组（长度为1）。

V (cClass::* x[1]) (U)

x是cclass中指向成员函数的指针数组（长度为1）。所述成员函数以u为参数，返回v。

V (cClass::* x[1]) (U) &

x是cclass中指向成员函数的指针数组（长度为1）。所述成员函数以u为参数，返回v，并且只能对lvalues调用。

V & (cClass::* x[1]) (U) &

x是cclass中指向成员函数的指针数组（长度为1）。所述成员函数以u为参数，返回对v的引用，并且只能对lvalues调用。

V (& (cClass::* x[1]) (U) &)[3]

x是cclass中指向成员函数的指针数组（长度为1）。所述成员函数以u为参数，返回对v的数组（长度为3）的引用，并且只能对lvalues调用。

最后，要获得您的实际类型

char (& (cClass::* x[1]) (cClass(*)[2]) &)[3]

我们选择v=char和u=(cClass(*)[2])，后者是指向cClass的数组（长度2）的指针。

更易读的备选方案：

using char3 = char [3];
using ptrTo2cClass = cClass(*)[2];
using ptrToMethod = char3 & (cClass::*) (ptrTo2cClass) &;
using c = ptrToMethod[1];