変数の宣言がわかりません

Question

前提・実現したいこと

int (*(*x)(double))[3] = nullptr
ってどうゆうことですか？

Answer 1

int (*a)[3];
という宣言は理解できますか?
「配列へのポインタ」というのがどんなものか、わかりますか。

int (*b)(double);
は大丈夫ですか?

以上がわかっていれば、その組み合わせなだけなのですが、下層がわかってないといくら説明を積み上げてもわからないでしょう。
全部説明するのもちょっと面倒なので、わからないところがあるならそこから始めます。

---

ちょっと余談。
'C言語 複雑なポインタ'でググってみると複雑なポインタ宣言の解釈について解説をしているページがいくつかヒットします。覗いてみるのもよろしいかと。

---

Answer 2

int (*(*x)(double))[3] = nullptr

x はポインタ。関数へのポインタ。
その関数の引数は double。その関数の返却値はポインタ。
そのポインタは、要素数 3 の配列へのポインタ。
その配列は、int の配列。すわなち、配列の要素は int。

関数は、配列を返すことはできませんが、ポインタは返せます。

Answer 3

関数のパラメータ宣言の意味は？ - stackoverrun.comと同じ問題ですかね。

引数は「double」、戻り値は「int[3]へのポインタ」である関数の関数ポインタですね。普通に実装すると戻り値では「配列へのポインタ」は返せない（ただのポインタなら返せる）がtypedefで型を定義することで解決できるみたいです。

コメントをくださった方ありがとうございました。今更ですが正しく理解できました。いろいろ試したつもりでしたが当初はint (*f(double x))[3]の書式にたどり着けませんでした。

#include <stdio.h>

int array[3] = { 1, 2, 3 };

int (*f(double x))[3]
{
    return &array;
}

int main(void)
{
    int (*(*x)(double))[3] = 0;
    
    int (*r)[3] = 0;
    
    printf("array     : %p\n", array);
    printf("&array    : %p\n", &array);
    printf("&array[0] : %p\n", &array[0]);
    
    printf("f()       : %p\n", f(1.0));

    printf("f         : %p\n", f);

    printf("sizeof(x) : %zu\n", sizeof(x));

    x = f;
    r = x(1.0);
    printf("x         : %p\n", x);
    printf("x()       : %p\n", r);
    
    printf("*r        : %p\n", *r);
    printf("r[0]      : %p\n", r[0]);
    printf("(*r)[0]   : %d\n", (*r)[0]);
    printf("(*r)[1]   : %d\n", (*r)[1]);
    printf("(*r)[2]   : %d\n", (*r)[2]);
}

array     : 00404004
&array    : 00404004
&array[0] : 00404004
f()       : 00404004
f         : 00401410
sizeof(x) : 4
x         : 00401410
x()       : 00404004
*r        : 00404004
r[0]      : 00404004
(*r)[0]   : 1
(*r)[1]   : 2
(*r)[2]   : 3

Comments

[kazuma-s]

typedef を使っても、関数が配列は返すことはできません。
質問の宣言の関数はポインタを返すので問題ありません。

[thkana]

べつにtypedefが何かを解決しているわけではありません。ただ見やすくしているだけ。
int (*get3Int(double x))[3]
{
int (*arr)[3] = &arr3;
return arr;
}
でも
int3 *get3Int(double x)
{
int3*arr = &arr3;
return arr;
}
でも等価です。

[yohhoy]

検証(？)にアドレス値を利用されていますが、残念ながらほとんど何の役にも立たないでしょう。
型の処理はコンパイル時に解決する話ですから、プログラム実行出力から説明をするのは不可能です。