如何阅读复杂的类型？

Question

我知道使用类型别名和 typedef 可以使代码更易读、不易出错并且易于修改。但是在这个例子中我想知道这个复杂的类型：

#include <iostream>
#include <typeinfo>

char ( * (* x() )[] )();

int main(){

    std::cout << typeid(x).name() << std::endl;
}

根据经验，我是从里到外阅读它的，但我觉得它太混乱了。

谁能帮我看看怎么读？

GCC 的输出：

FPA_PFcvEvE

Answer 1

char        - returning a char                         *
  (*        - of pointers to                    *---v  ^
    (*      - returning a pointer to    *---v   ^   v  ^
       x()  - a function `x`          --^   v   ^   v  ^
    )[]     - an array                      *---^   v  ^
  )();      - functions                             *--^

并查看 https://itanium-cxx-abi.github.io/cxx-abi/abi.html#mangle.array-type ，如：

FPA_PFcvEvE
^           - function (
 ^          - returning pointer
  ^         - to an array [
  ><        - with no dimension expression
   ^        - separator, end of array ]
    ^       - of pointers
     ^      - to functions (
      ^     - returning char
       ^    - (void) functions that take no arguments
        ^   - separator, end of function )
         ^  - (void) it's a function that takes on arguments
          ^ - separator, end of function )

示例：

#include <iostream>

char return_a() { return 'a'; }
char return_b() { return 'b'; }
char return_c() { return 'c'; }

char (* array_of_funcs_that_return_char[3])() = {
    return_a,
    return_b,
    return_c,
};

char (* (*pointer_to_array_of_funcs_that_return_char)[3])() = &array_of_funcs_that_return_char;

char ( * (* x() )[3] )() {
    return pointer_to_array_of_funcs_that_return_char;
}

int main() {
    std::cout << (*x())[1](); // outputs 'b'
}

Answer 2

我制作了一个小型库来帮助将复杂类型解码为英语-y std::string 值。只需调用 type_to_string::describe<T>()，它将 return 一个（大部分）人类可读的字符串来描述类型 T。

这是你的类型：

// url-includes works with compiler explorer, not normal c++
#include <https://raw.githubusercontent.com/cuzdav/type_to_string/main/describe.hpp>

#include <iostream>
int main() {
    using X = char ( * (*() )[] )();
    std::cout << type_to_string::describe<X>() << std::endl;
}

它的输出是：

function taking (), returning pointer to array[] of pointer to function taking (), returning char

现场观看 https://godbolt.org/z/6Kjf5jb7E

（实现比作为 SO 答案的一部分有用的细节更详细，但它在 link 的 github 上是可读的。）

如何阅读复杂的类型？

How to read a complicated type?

c++

function-pointers

array-pointer