如何在模板化的函数指针声明中读取这么多的星星和括号？ [重复]

Question

这个问题在这里已有答案：

• Complex C declaration 7个答案

来自Introduction to the C++11 feature: trailing return types

文章声称

template <class T> class tmp {
public:
    int i;
};

auto foo()->auto(*)()->tmp<int>(*)(){
    return 0;
}

相当于

template <class T> class tmp{
public:
    int i;
};

tmp<int> (*(*foo())())() {
    return 0;
}

我不理解第二个代码示例中的复杂函数。我应该在一开始看哪里？我猜是foo。但是foo旁边的统计数据将把foo定义为指针...基于第一个代码示例，我将把这个作为转换为

tmp<int> (*)() (*)() foo(){ return 0;}

所以foo是一个返回0的函数，但返回类型很棘手：它的返回类型是函数指针，其返回类型又是一个返回类型为tmp<int>的函数指针。

Answer 1

作为@Vittorio答案的补充，有Clockwise Spiral Rule来帮助我们decypher复杂类型：

从未知元素开始，以螺旋/顺时针方向移动;当遇到以下元素时，用相应的英语语句替换它们：

• [X]或[] 数组X大小...或数组未定义大小...
• (type1, type2) 函数传递type1和type2返回...
• * 指针...

继续以螺旋/顺时针方向执行此操作，直到所有令牌都被覆盖。始终先解决括号中的任何内容！

---

这里：

           +-----------+
           | +------+  |
           | | >-v  |  |
temp<int> (*(*foo())())()
        |  | ^---+  |  |
        |  ^--------+  |
        +--------------+

foo是一个返回指向函数的指针的函数，该函数返回指向返回temp<int>的函数的指针。

---

而现在，@ UKmonkey刚刚将此规则重命名为C ++ Guru Snail Rule或简称CGSR：

 / /
 L_L_
/    \
|00  |       _______
|_/  |      /  ___  \
|    |     /  /   \  \
|    |_____\  \_  /  /
 \          \____/  /_____
  \ _______________/______\.............................

Answer 2

我应该在一开始看哪里？

老实说，你应该看看https://cdecl.org/，它将int (*(*foo())())();描述为：

声明foo为函数返回指向函数的指针返回指向返回int的函数的指针

然后意识到这是C ++ 11，我们有一个很好的语法来声明函数指针别名：

using A = int(*)(); // pointer to function returning int
using B = A(*)();  // pointer to function returning pointer to function returning int

B foo(); // function returning pointer to function returning pointer to function returning int

今天真的没有理由写这样的声明。

Answer 3

cdecl是一个有用的在线工具，可以揭开复杂的C声明的神秘面纱。

插入int (*(*foo())())()返回：

声明foo为函数返回指向函数的指针返回指向返回int的函数的指针

我用tmp<int>替换了int，因为该工具不支持模板。

Answer 4

正确格式化代码可能有助于您理解：

template <class T>
class tmp {
    public:
    int i;
};

auto foo() -> auto(*)() -> tmp<int>(*)() {
    return 0;
}

template <class T>
class tmp{
    public:
    int i;
};

tmp<int> (*
    ( *foo() )()
    )() {
    return 0;
}

template class部分保持不变，所以我不打算详细说明。让我们看看函数foo。

在第一个代码中，foo()的返回值是auto(*)() -> tmp<int>(*)()，它是一个指向返回另一个指针的函数的指针，该指针指向返回tmp<int>的函数。

因为你总是可以定义一个函数指针，如：

base_type_t (*pointer_name)(parameter_list);

使用函数（即pointer_name）递归func_name()可以声明一个函数，其返回值是这样一个指针：

base_type_t (*func_name())(parameter_list);
              ~~~~~~~~~~~

所以现在(*func_name())(parameter_list)可以提供另一种功能。让我们把它放回到函数指针定义语法中：

base_type_t (*(*func_name())(parameter_list))(parameter_list);
              ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

清除参数列表（它们是空的）并用正确的类型替换标识符给出：

base_type_t (*(*func_name())(parameter_list))(parameter_list);
tmp<int>    (*(*   foo   ())( /* Empty */  ))( /* Empty */  );

// Turns to
tmp<int> (*(*foo())())();

正如其他人已经建议的那样，https://cdecl.org/是一个很好的代码分析器，虽然它可能会给你另一个不太容易理解的句子。