C/C++ - 構造体タグ - 不完全型

Question

私のCソースファイルにprivate型の構造体をタグとして定義し、構造体型を型に宣言すると、コンテンツがユーザーに表示されず、名前空間はきれいに保たれ、ユーザーは必要ではないファイルを自動的には含めません。

私はC++で同じことをしようとはしていませんが、許可していないと言っています：不完全な型は定義できません。

// test.cpp --------------------------------- 
#include "test.hpp" 

struct myStructTag_s 
{ 
    int A; 
    int B; 
}; 

// test.hpp --------------------------------- 
#ifndef TEST_HPP_ 
#define TEST_HPP_ 

typedef struct myStructTag_s myStructTag_t; 

#endif /* TEST_HPP_ */ 

// main.cpp --------------------------------- 
#include "test.hpp" 

myStructTag_t A; 

int main() 
{ 
    A.A = 5; 
    return 0; 
} 

Answer 1

理由：それはstruct myStructTag_sの宣言はなく、定義を持っているので、

myStructTag_t A; 

です。このタイプは定義が欠落しているため不完全なタイプとみなされます。定義なしで構造体のインスタンスを作成することはできません。

myStructTag_t *A; 

これはあなたがすることができ、このタイプへのポインタを受け入れます。test.cppにおける一連の機能を作成することができます：あなたはしかし、不完全な型へのポインタを作成されて何ができるか

定義がtest.cppに存在するので、これを操作するために使用されます。

のでTEST.CPPはこのような何か含めることができます。test.hppで

myStructTag_t *create(int a, int b) 
{ 
    myStructTag_t *inst = malloc(sizeof(*inst)); 
    inst->A = a; 
    inst->B = b; 
    return inst; 
} 

int getA(myStructTag_t *inst) 
{ 
    return inst->A; 
} 

：

myStructTag_t *create(int a, int b); 
int getA(myStructTag_t *inst); 

次にあなたがメインで、次の操作を行うことができます。

myStructTag_t *A; 

int main() 
{ 
    A = create(5,0); 
    printf("a=%d\n", getA(A); 
    return 0; 
} 

Answer 2

モジュールmain.cppには

// main.cpp --------------------------------- 
#include "test.hpp" 

myStructTag_t A; 

int main() 
{ 
    A.A = 5; 
    return 0; 
} 

をコンパイルした場合、それはその定義を持っていないため、コンパイラはオブジェクトAをインスタンス化することはできません。それは構造がデータメンバAを有し、その種類は何であるかどうかわからないので、だから、それはまた、この文を

A.A = 5; 

を受け入れることはできません。

Answer 3

このような型へのポインタ以外の不完全な型の使用は、CでもC++でもコンパイルされないことは間違いありません。

理由は、オブジェクトをインスタンス化するために、コンパイラが変換単位を変換するときに、オブジェクトの必要なメモリレイアウトを定義するための完全な構造情報が必要なためです。 main.cppのような翻訳単位では、コンパイラに直接表示されるものだけがmain.cppに直接または間接的に含まれます。

main.cppにはtest.hppしか含まれていません。myStructTag_sという定義はありません。

structを「前方宣言」することはできますが、完全なタイプである限り、つまりstructのメンバーを定義していない限り、そのタイプのオブジェクトを作成することはできません。

プログラムの構築は、基本的に（1）互いに独立して翻訳単位をオブジェクトファイルにコンパイルすること、および（2）生成されたオブジェクトファイルを一緒にリンクするという2段階プロセスであることに注意してください。何らかの型のオブジェクトを定義するだけではなく、型の定義タイプ定義は、リンクフェーズでなく、翻訳単位のコンパイルフェーズのコンパイラに表示する必要があります。あなたがメインで、このような変数を作成することはできません