構造体 | Programming Place Plus　新C++編

このページの概要

このページでは、型が混在した複数の値を、１つの型にまとめて扱える構造体という機能を取り上げます。配列と違って、型がばらばらでも構わないという特徴がありますが、その自由度を得るために、まずはプログラマーがみずから型の定義を作らなければならないという考え方の違いを理解しなければなりません。構造体には実に多くの機能がありますが、このページでは、複数の値をまとめるという目的に十分な範囲での説明にとどめます。

以下は目次です。要点だけをさっと確認したい方は、「まとめ」をご覧ください。

• 構造体
• 構造体型を定義する
  • データメンバの初期化
• 構造体変数を宣言する
  • リスト初期化
  • 構造体型の定義と構造体変数の宣言をまとめる
• データメンバにアクセスする
• 比較
• 代入
  • 大きなデータのコピー
• まとめ
• 参考リンク
• 練習問題
• 更新履歴

構造体

蔵書リストに登録するデータの種類を想像すると、書名や著者名、購入日、出版日、価格、評価、メモなど多数の項目を思いつきます。これらの項目ごとに std::vector を用意することも考えられますが、１冊の本を構成する情報なのですから、１つの std::vector にまとめて取り扱うのが適切といえます。すると、std::vector<???> の ??? のところが問題になります。

すべての項目を文字列で表現すれば、std::vector<std::string> とすることで、0番目に書名、1番目に著者名、2番目に購入日・・・というふうにデータを格納しておくことは可能です。これが本の冊数分だけ必要なので、さらに std::vector に入れて std::vector<std::vector<std::string>> ということになります。これでも実現はできますが、少し複雑すぎるような気もしますし、価格や評価などは整数型のほうが妥当なようにも思えます。

そこで、色々な型が混在した複数の項目を、ひとまとめにして管理できる方法が欲しいということになります。std::string型だったり int型だったりする項目が複数あるが、全部まとめて「本の情報をあらわす型」、つまり Book型だ、といえるような型が欲しいのです。これがあれば、std::vector<book> books; のようにして、１つの変数ですべての本を管理できます。

このような、型が混在している複数の値をまとめた型を実現する方法が、このページのテーマである、構造体 (structure) です。

構造体という用語には、２つの意味が含まれています。１つは「型」、もう１つは「その型の変数」です。この２つをあまり区別せずに「構造体」と呼ぶことが多いですが、誤解がないように、前者を構造体型 (structure type)、後者を構造体型の変数（構造体変数）のように呼び分けることにします。

構造体はＣ言語にもありますが、C++ では、オブジェクト指向プログラミング (object-oriented programming) と呼ばれるプログラミング手法に適応するために、多くの機能が追加されており、名称も、クラス (class) と呼ぶのが普通です。C++ では構造体とクラスは同一のものであって、本来、区別する必要はありません（ごくわずかなルールの違いはありますが）。そのため、C++ の解説記事などでは、構造体という用語を使わず、クラスという名称で統一していることがあります。あえて構造体という用語を使うときには、Ｃ言語での考え方の範囲の話であることを強調していることが多いです。

このページでは、オブジェクト指向プログラミングの考え方による機能は省き、Ｃ言語の構造体の考え方の範囲で解説を行っています。

現時点では、オブジェクト指向プログラミングの詳細を知る必要はありませんが、現代のプログラミングにおいては半ば常識化した考え方になっています。逆にいえば、それほど意識せずとも、知らず知らずのうちにオブジェクト指向プログラミングの考え方に触れることになるはずです。

構造体型を定義する

構造体型の内容（どんな型の項目がいくつあるのか）はプログラマーが決めなければならないことです。そのため、まずは構造体型の定義を記述することから始めなければなりません。int型とか double型、std::string型のような、すでに用意されている型を組み合わせて、新たな型を我々が作るのです。

構造体型を定義する構文は次のとおりです。

struct 構造体型の名前 {
    データメンバの宣言;
      :
};

struct は、構造体であることを表すキーワードです。このキーワードに続けて、構造体型の名前を記述します。

【Ｃ言語プログラマー】構造体型の名前を記述する場面で毎回 structキーワードと構造体タグ名を書く必要はなくなっています。そのため、typedef で型の別名も付けておくという方法も C++ では必要ありません。

{ と } の内側には、データメンバ (data member) と呼ばれる変数の宣言を書き並べます。データメンバのことをメンバ変数 (member variable) と呼ぶこともあります。

配列の場合は要素に名前がなく、代わりに添字を使って区別しました。構造体型の場合は、データメンバに名前を与えます。また、各データメンバにはそれぞれの型の指定が必要ですから、結果的に、変数の宣言と同じかたちの記述を書くことになります。たとえば、書名、著者名、価格、評価の４項目を持った、本の構造体型を定義するとすれば、次のようになります。

struct Book {
    std::string    title;
    std::string    author;
    int            price;
    int            evaluate;
};

強制されているわけではないですが、構造体型の名前は、先頭を大文字にすることが多いです。

構造体にはもっと多くの機能があるため、構造体型の定義はより複雑になることがあります。Book構造体は、構造体型としてはシンプルなかたちをしているといえます。このような、データメンバの型と名前以外のものがないシンプルな構造体型は、集成体（アグリゲート） (aggregate) という分類に含まれます。構造体型が集成体とみなせるかどうかは、C++ のルールの一部に影響を与えます（たとえば、後で取り上げるように、リスト初期化のルールが変わります）。

【上級】コンストラクタを定義する、protected や private な非静的なデータメンバを定義する、基底クラスがある、仮想関数がある、のいずれかを満たすと、集成体ではなくなります¹。

【上級】集成体に分類されるものとしてほかに、通常の配列（std::vector などではなく）があります¹。

struct Book {
    std::string    title {};
    std::string    author {};
    int            price {};
    int            evaluate {5};
};

構造体変数を宣言する

構造体型の定義ができたら、構造体変数を宣言できます。変数宣言の方法に違いはありません。たとえば、Book構造体の構造体変数を次のように宣言できます。

Book book;

【Ｃ言語プログラマー】structキーワードは不要になりました（付けることもできます）。

この場合、データメンバの初期値は、データメンバの宣言時に初期化子を与えているならそれに従います。与えていないなら、初期化子なしのときと同じ結果になります（たとえば、std::string型のデータメンバは空文字列になるが、int型のデータメンバは不定な値にってしまう）。そのため、データメンバの宣言時に初期化子を与えておくと安全ですが、前述したとおり、Visual Studio 2015 での事情があるため、新C++編ではこれは行わないことにしています。

データメンバの宣言時に初期化子を与えているかどうかに関わらず、いつものように、構造体変数の宣言時にリスト初期化しておくのが安全です。

Book book1 {};
Book book2 {"C++ Programming Guide Book", "Thomas Murray", 3500, 5};

リスト初期化のルールについては、あとであらためて確認します。

すでに存在する構造体変数のコピーを作ることができます。

Book book2 = book1;  // book1 と同じ内容の book2 を宣言

【C++20】指示付き初期化という機能が追加され、S s { .a {100}, .b {200} }; のように、. とデータメンバ名を指定しながら初期化子を記述できるようになりました。この機能を使う場合は、s {～} の部分の括弧は {} でなければならず、() の場合には許可されません。³

【Ｃ言語プログラマー】C99 では、要素指示子を使って、データメンバを指定しながら初期化子を記述できます（Ｃ言語編第２６章）。この機能は C++ には長らく受け継がれていませんでしたが、C++20 で（完全に同じではないですが）導入されました³。

// 集成体
struct Book {
    std::string    title;
    std::string    author;
    int            price;
    int            evaluate {3};
};

Book book1 {"ABC", "K.S", 3500, 5};  // title="ABC" author="K.S" price=3500 evaluate=5
Book book2 {"ABC", "K.S"};           // title="ABC" author="K.S" price=0 evaluate=3
Book book3 {};                       // title="" author="" price=0 evaluate=3

struct Book {
    std::string    title;
    std::string    author;
    int            price;
    int            evaluate;
} book {};

データメンバにアクセスする

構造体変数を宣言できるようになったので、データメンバにアクセスしてみます。データメンバは次の構文でアクセスできます。

構造体変数名.データメンバ名

次のプログラムは、本の情報を標準入力から入力させて、最終的な情報を出力しています。

#include <iostream>
#include <string>

int main()
{
    struct Book {
        std::string    title;
        std::string    author;
        int            price;
        int            evaluate;
    };

    Book book {};
    std::cout << "Please enter the title.\n";
    std::getline(std::cin, book.title);
    std::cout << "Please enter the author.\n";
    std::getline(std::cin, book.author);
    std::cout << "Please enter the price.\n";
    std::cin >> book.price;
    std::cout << "Please enter the evaluate.\n";
    std::cin >> book.evaluate;

    std::cout << "title: " << book.title << "\n"
              << "author: " << book.author << "\n"
              << "price: " << book.price << "\n"
              << "evaluate: " << book.evaluate << "\n";
}

実行結果：

Please enter the title.
C++ Programming Guide Book  <-- 入力した内容
Please enter the author.
Thomas Murray  <-- 入力した内容
Please enter the price.
3500  <-- 入力した内容
Please enter the evaluate.
5  <-- 入力した内容
title: C++ Programming Guide Book
author: Thomas Murray
price: 3500
evaluate: 5

比較

構造体変数どうしの比較は、直接的には行えません。たとえば、book1 == book2 のように比較しようとしてもコンパイルエラーになります。

構造体変数どうしで比較したい場合は、データメンバ１つ１つを別個に比較する必要があります。

【Ｃ言語プログラマー】パディングを巻き込むため、memcmp関数で比較していけないというガイドラインはそのまま当てはまります（Ｃ言語編第３４章）。

#include <iostream>
#include <string>

int main()
{
    struct Book {
        std::string    title;
        std::string    author;
        int            price;
        int            evaluate;
    };

    Book book1 {"C++ Programming Guide Book", "Thomas Murray", 3500, 5};
    Book book2 = book1;

    std::cout << std::boolalpha
              << (book1.title == book2.title &&
                  book1.author == book2.author &&
                  book1.price == book2.price &&
                  book1.evaluate == book2.evaluate)
              << "\n";
}

実行結果：

true

すべてのデータメンバを比較するために、論理AND演算子を使って条件式をつなげ合わせます。あとから構造体型にデータメンバが追加される場合、条件式を増やしわすれないように注意が必要です。

代入

型が同じであれば、構造体変数を別の構造体変数へ代入できます。代入元のデータメンバそれぞれの値が、代入先の対応するデータメンバにコピーされます。

#include <iostream>
#include <string>

int main()
{
    struct Book {
        std::string    title;
        std::string    author;
        int            price;
        int            evaluate;
    };

    Book book1 {"C++ Programming Guide Book", "Thomas Murray", 3500, 5};
    Book book2 {};
    
    book2 = book1;

    std::cout << std::boolalpha
              << (book1.title == book2.title &&
                  book1.author == book2.author &&
                  book1.price == book2.price &&
                  book1.evaluate == book2.evaluate)
              << "\n";
}

実行結果：

true

「型が同じ」であるためには、文字通り、構造体型が同じでなければなりません。データメンバが同じならいいということではありません。たとえば、次の２つの構造体型は、データメンバはまったく同じですが異なる型なので、互いの型の変数を代入することはできません。

// 従業員
struct Employee {
    std::string  name;  // 名前
    int          age;   // 年齢
};

// 顧客
struct Customer {
    std::string  name;  // 名前
    int          age;   // 年齢
};

集成体に対しては、代入元を初期化子リストにできます。

#include <iostream>
#include <string>

int main()
{
    struct Book {
        std::string    title;
        std::string    author;
        int            price;
        int            evaluate;
    };

    Book book {};
    book = {"C++ Programming Guide Book", "Thomas Murray", 3500, 5};

    std::cout << "title: " << book.title << "\n"
              << "author: " << book.author << "\n"
              << "price: " << book.price << "\n"
              << "evaluate: " << book.evaluate << "\n";
}

実行結果：

title: C++ Programming Guide Book
author: Thomas Murray
price: 3500
evaluate: 5

std::vector の要素が集成体とみなせる構造体型のとき、push_back関数などでも初期化子リストの構文を使えます。

std::vector<Book> books {};
books.push_back({"C++ Programming Guide Book", "Thomas Murray", 3500, 5});

#include <iostream>
#include <string>
#include <vector>

int main()
{
    struct Book {
        std::string    title;
        std::string    author;
        int            price;
        int            evaluate;
    };

    std::vector<Book> books {};
    books.push_back({"C++ Programming Guide Book", "Thomas Murray", 3500, 5});
    books.push_back({"C++ Programming Primer", "Sonia Elis", 2200, 3});
    books.push_back({"C++ Tutorial", "Jack Simon", 2800, 4});
    
    for (auto book : books) {
        std::cout << "title: " << book.title << "\n"
                  << "author: " << book.author << "\n"
                  << "price: " << book.price << "\n"
                  << "evaluate: " << book.evaluate << "\n";
    }
}

title: C++ Programming Guide Book
author: Thomas Murray
price: 3500
evaluate: 5
title: C++ Programming Primer
author: Sonia Elis
price: 2200
evaluate: 3
title: C++ Tutorial
author: Jack Simon
price: 2800
evaluate: 4

for (auto& book : books) {
    std::cout << "title: " << book.title << "\n"
              << "author: " << book.author << "\n"
              << "price: " << book.price << "\n"
              << "evaluate: " << book.evaluate << "\n";
}

まとめ

• 構造体を使って、型が異なる複数の値をまとめる型が実現できる
• 構造体を使うにはまず、構造体型を定義する。その後で、構造体型の変数（構造体変数）を宣言する
• 構造体型の定義と、構造体変数の宣言は同時に行ってもいい
• 構造体型に含まれる各要素を、データメンバ（メンバ変数）と呼ぶ
• データメンバの宣言だけが含まれるシンプルな構造体型は、集成体という分類に含まれる
  • データメンバの宣言に初期化子を記述でき、構造体変数を宣言したときに、その内容で初期化される
    • これを行うと、Visual Studio 2015 のような C++11 以前の仕様に沿っているコンパイラでは、集成体とみなされなくなる
• 構造体のデータメンバには、. を使ってアクセスする（s.m = 10; のように）
• 集成体に対するリスト初期化では、集成体初期化が行われる。これは {} の内側に記述した初期化子を、順番どおりにデータメンバに適用する
• 集成体でない構造体に、空でない {} によるリスト初期化や代入は適用できない
• 構造体に、空の {} によるリスト初期化を行うと、宣言時に初期化子が与えられているデータメンバはその内容で初期化され、与えられていないデータメンバは値初期化される
• 構造体変数どうしの比較は行えない。代わりにデータメンバを１つ１つ比較する
• 同じ型であれば、構造体変数どうしで代入できる
• 集成体とみなせるなら、初期化子リストを代入できる（s = {"aaa", "bbb", 10, 10}; のように）
• 構造体型のデータサイズは大きくなりがちで、コピーには時間がかかる。参照型を使ってコピーを回避できる

新C++編の【本編】の各ページには、末尾に練習問題があります。ページ内で学んだ知識を確認する簡単な問題から、これまでに学んだ知識を組み合わせなければならない問題、あるいは更なる自力での調査や模索が必要になるような高難易度な問題をいくつか掲載しています。