C++にて関数定義の引数宣言がうまくいきません。

Question

### 質問概要 C++にて関数定義を試みているのですが、なぜかうまくいきません。配列を引数にしていますが、そこでエラーが出てしまいます。また、カウント変数としてi,jを定義していますが宣言していないことになっているようです。 ### 実現したいこと単に行列の各要素を手入力してもらい、入力された行列を一覧として表示するだけです。手入力に関する処理を関数として独立させようとしています。しかし、引数であるカウント変数と二次元配列の箇所で謎のエラーが出てしまいます。 ### 発生している問題・エラーメッセージ ``` PS C:\Users\motch\java> g++ Function1_C++_20221223.cpp -o Function1_C++_20221223 ; .\Function1_C++_20221223 Function1_C++_20221223.cpp:6:44: error: array bound is not an integer constant before ']' token double matrix_input(int i,int j,double x[NN][NN]); ^ Function1_C++_20221223.cpp:6:48: error: array bound is not an integer constant before ']' token double matrix_input(int i,int j,double x[NN][NN]); ^ Function1_C++_20221223.cpp:62:44: error: array bound is not an integer constant before ']' token double matrix_input(int i,int j,double x[NN][NN]) ^ Function1_C++_20221223.cpp:62:48: error: array bound is not an integer constant before ']' token double matrix_input(int i,int j,double x[NN][NN]) ^ Function1_C++_20221223.cpp: In function 'double matrix_input(...)': Function1_C++_20221223.cpp:64:20: error: 'i' was not declared in this scope cout << "x["<< i <<"]["<< j <<"]?----------->"; ^ Function1_C++_20221223.cpp:64:31: error: 'j' was not declared in this scope cout << "x["<< i <<"]["<< j <<"]?----------->"; ^ Function1_C++_20221223.cpp:65:12: error: 'x' was not declared in this scope cin >> x[i][j]; ``` ### 該当のソースコード以下がソースコードの冒頭の抜粋です。 ```C++ #include using namespace std; int NN=10; double matrix_input(int i,int j,double x[NN][NN]); //double matrix_display //double matrix_multiple ``` 以下が関数の定義部分です。 ```C++ double matrix_input(int i,int j,double x[NN][NN]) { cout << "x["<< i <<"]["<< j <<"]?----------->"; cin >> x[i][j]; return x[i][j]; } ``` いずれも double matrix_input(int i,int j,double x[NN][NN]); に問題があるようです。 ### 試したこと、確認したこと教科書を見直しましたが、この書き方で間違っていないようです。何が原因なのでしょうか？？？以上よろしくお願いいたします。

Accepted Answer

# 配列の大きさとしての数値配列の大きさとして与える数値は「定数であること」というルールが定められています。評価結果が定数になる式 (定数式) でもかまいません。 # 教科書は C++ ？重要な点は C と C++ は異なる言語であるということです。 C では配列の大きさが定数でなくてもよい場合についての規則がありますが C++ の仕様では常に定数であることを要求しています。 C++ の処理系であっても一部には拡張や緩和していることもある (ので場合によってはコンパイルが通ってしまう) というのもややこしいところですし、資料を書く人が混同しているというのもよくあることなのでひとつの資料に書いてあるからというのは必ずしも信用できません。複雑な言語なのでそういうこともあります。 # 定数式定数式の詳細な規則はややこしくて様々な言語機能が絡んでくるので単純には言えないのですが大きな原則としては - コンパイル時に値を確定可能であると考えると良いと思います。この場合に関連するルールを抜粋すると - リテラルは定数 - 定数を四則演算したものは定数 - `const` 付きで宣言された変数の初期化子が定数であればその変数も定数 - `constexpr` 付きで宣言された変数は定数であり、初期化子が定数でないときはエラーになるといったものがあります。 (実際には処理系の拡張として条件が緩和されている場合もあります。) ```cpp // リテラルは定数なので OK void foo(int arr[10]) {} // const 付きで初期化子も定数なので n は定数である OK const int n = 10; void bar(int arr[10]) {} // 変数は const 付きだが初期化子は定数でないので NG #include const int m = std::strlen("abcdefghi"); // これ自体は OK void baz(int arr[m]) {} // でも m は定数ではないので NG // constexpr 付きの変数は定数なので OK constexpr int q = 10; void qux(int arr[q]) {} // constexpr 付きの変数の初期化子は定数である必要がある #include constexpr int r = std::strlen("abcdefghi"); // この時点で NG void quux(int arr[r]) {} // r の定義が出来てないので当然だめ ``` # 仮引数の調整仮引数として現れる配列形式の宣言はポインタに型調整されます。たとえば ```cpp void foo(int arr[10]) {} ``` というような定義があれば ```cpp void foo(int *arr) {} ``` と書かれたかのように読み替えられる規則です。二次元配列の場合はたとえば ```cpp void bar(int arr[5][10]) {} ``` は ```cpp void bar(int (*arr)[10]) {} ``` に読み替えられます。なので想定していない型でうっかり通ってしまうということが起こります。 ```cpp void foo(int arr[5][10]) {} int main(void) { int arr[3][10]; // 想定より小さい配列を渡せてしまう！ foo(arr); } ``` 配列については (歴史的事情で) こういった特別なルールがいくつかあります。 # どうすべきなのかおそらく質問者の状況では `NN` は ```cpp const int NN=10; ``` とするか ```cpp #define NN 10 ``` とするのが最も簡単な解決方法です。ただ、配列の特殊ルールは (低レイヤの事情を考えると有用ではあるのですが) 扱いにくさがあり、 `std::array` や `std::vector` といった便利なライブラリを使ったほうがよいかもしれません。それはそれで二次元データを十分に扱いやすくできておらず将来の仕様に入れるべく議論が続いているのですがなかなか結論が出ずに先送りが続いています。

Answer

NNの定義はdefineでしないとダメですね

質問概要

実現したいこと

発生している問題・エラーメッセージ

該当のソースコード

試したこと、確認したこと

配列の大きさとしての数値

教科書は C++ ？

定数式

仮引数の調整

どうすべきなのか

関連した質問