Q&A
つまりどうすればコンパイルエラーを抜けれるのでしょうか？
下記の提示コードですがなぜ未定義のstruct testというエラーが出るのでしょうか？前方宣言によって既に定義されていると思うのですが構造体の前方宣言は出来ない。のでしょうか？
cpp
1#include <iostream> 2#include <array> 3 4 5#include <random> 6#include <time.h> 7 8#include "glm/ext.hpp" 9#include <vector> 10 11struct test; 12 13struct test g() 14{ 15 struct test b = test(); 16 17 return b; 18} 19 20struct test; 21struct test 22{ 23 int a; 24}; 25 26 27int main() 28{ 29 struct test a = g(); 30 31 return 0; 32} 33
回答4件
0
前方宣言によって既に定義されていると思うのですが
宣言と定義は区別して下さい。
こういう名前の構造体があるよ、というだけが宣言。その内容はこうなっています、というのが定義。宣言だけでは内容を教えられていないので、コンパイラは内容を扱うプログラムを解釈出来ません。
struct test;
でtestという構造体があるぞ、という事しか知らなければ、
struct test b = test();
で実際に何をすればいいのか、コンパイラにはわからないのです。
C++
1struct test 2{ 3 int a; 4};
という情報が与えられてから初めて
struct test b = test();
で何をすればいいのかがわかるのです。
C/C++の文法は原始的なので、ソースファイル単位で「その場所までに教えられていること」だけでプログラムを構成しなければいけません。実に単純な規則とも言えます。
投稿2020/10/25 14:30
総合スコア7703
0
自分で提示したリンクを読むとわかると思いますが、
定義が行われていない段階での宣言は前方宣言と呼ばれます。前方宣言された型は不完全型となるため、実際の定義が行われるまでは、メンバ変数への参照が行えなかったり、仮引数型としての宣言が行えないという制限があります。ただし、ポインタ変数としての宣言は可能です。
投稿2020/10/24 02:09
総合スコア11990
0
ベストアンサー
まず、参考にされているサイトはCについてです。C++については異なることがありますので、注意が必要です。C++について知りたいのであれば、C++についてだとはっきり書かれたサイトのみを参考にすることをお勧めします。(CとC++は似ていますが、混同してはいけません)
C++においてstructとclassの違いはデフォルトのアクセス指定子のみで、どちらもクラスです。C++では構造体とクラスは区別されません。これまでstruct test;と宣言しか書いていない場合は、testクラスは不完全クラス型になります。そのような不完全クラス型は関数定義の引数の型や戻り値の型に使用できません。
関数定義 | 関数宣言 - cppreference.com
関数の引数の型および戻り値の型は、[削除された関数を除き (C++11以上)]不完全クラス型にできません。 完全性のチェックは関数の__本体__の文脈で行われます。 これは、たとえ定義の時点で不完全であっても (関数の本体内では完全です)、メンバ関数がそれらの定義されているクラス (または囲っているクラス) を返すことを許容します。
これは関数定義時の制限で関数宣言では不完全クラス型であっても使用できます。また、クラス定義内での場合は、完全とみなされるようです。完全クラス型にするには、クラス定義を書いておく必要があります。
投稿2020/10/24 02:44
総合スコア21739
struct test { int a; }; を struct test g() より前に書く。
0
構造体の前方宣言は出来ない。のでしょうか？
できますが、それで処理可能なのは宣言だけで済む箇所（構造体へのポインタの宣言など）だけです。
構造体型の引数や返り値、変数定義を使うには、構造体の定義が必要ですので、前方宣言では足りません。
投稿2020/10/24 01:57
総合スコア146018
あなたの回答
tips
プレビュー
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。
2020/10/25 15:09