C++ グローバルスコープでオブジェクトが代入できない

Question

前提・実現したいこと

C++ でクラスの勉強をしています。

main関数内では問題なくオブジェクトへ値が代入できたのですが、
グローバルスコープではエラーが発生しました。

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

'pos' does not name a type

該当のソースコード

座標 x, y を管理するクラス POS を作成し、値を代入しようとしています。

#include <stdio.h>

class POS {
public:
    int x;
    int y;
};

POS pos; // オブジェクト作成

// グローバルスコープで代入しようとするとエラー
pos.x = 1;
pos.y = 2;

int main()
{
    /*
    ここで代入すればOK
    pos.x = 1;
    pos.y = 2;
    */
    printf("x:%lf y:%lf\n", pos.x, pos.y);
    return 0;
}

質問内容

• グローバルスコープにおいて、オブジェクトへ代入ができないのはなぜでしょうか。
• このような規則はどこを参照すれば記載があるでしょうか（初心者で調べ方が分りませんでした。）

以上、よろしくお願いいたします。

Answer 1

pos.x = 1; pos.y = 2; は代入文です(初期化ではありません)。
代入文は実行されなければなりません。
実行されるには何らかの関数の中になくてはならず、そしてその関数が呼ばれなくてはなりません。

#include <stdio.h>

class POS {
public:
    int x;
    int y;
    POS(int vx, int vy) { x = vx; y = vy; }
};

POS pos{1,2}; // これならOK. 関数(コンストラクタ)が実行される
// POS pos = { 1, 2 }; // これでもOK. この = は(代入ではなく)初期化だから

int main() {
    printf("x:%d y:%d\n", pos.x, pos.y);
    return 0;
}

※ グローバルスコープに変数を置くこと自体、褒められたことじゃありませんけどね...

Comments

[gelman]

クラスだから代入できないのではなく、代入等の処理はすべて関数内で行われる必要があるのですね！

(変数 i でも関数外では代入できないことを確認しました。)
勝手にクラスだから代入できないのかと思い調べていたので、分らずじまいでした、、
ご回答ありがとうございました。

[episteme]

クラスでなくても:
int x = 1; // OK. 定義(と初期化)だから
x = 2; // error. (定義/宣言ではなく)代入だから

[gelman]

（初歩的過ぎて、理由が分らずモヤモヤしてました、、）
本当に助かりました。ありがとうございます！

Answer 2

グローバルに書けるのは宣言か定義です。 任意の文は書けません。

C++ の公式な規格 (ISO/IEC 14882) は高価ですが、公式に発行される直前の草案 (ドラフト) は無料で見ることができます。 厳密な根拠が欲しい場合にはこれを参照することになるでしょう。

• C++11
• C++14
• C++17
• C++20

また、更新されていく規格を再編してわかりやすくすると同時に日本語訳も提供しているサイトとしては cppreference がとても有用です。 ただ、これはわかりやすく再編してはいるもののあくまでも仕様に対して厳密であることを指向しているので初心者向けの親切な解説はなく、欲しい情報にたどり着くのが初心者には難しいかもしれません。

C++ の仕様はそれなりに巨大で、これを見れば全部理解できるというようなものはなく、まずは入門書を読んでそれから少しづつ高度な資料を読んで身に着けていくしかしょうがないですね。

Comments

[gelman]

>厳密な根拠が欲しい場合にはこれを参照することになるでしょう
ありがとうございます！
初心者の自分には少し難易度が高いので、SaitoAtsushiさんが言われたように、入門書から徐々に学んでいきたいと思いました。

Answer 3

pos.x = 1;
pos.y = 2;

C/C++では関数の外にこのような文を書くことはできません。
プログラムが起動されたらまずmain()が呼ばれますので、その中にその文を書くなり、他の関数内にその文を書いてmain()から呼び出さなければなりません。

Comments

[gelman]

早速のご回答ありがとうございました。

C/C++では関数外では、宣言、初期化のみが可能で
代入等の処理は関数内で行う必要があるのですね！

epistemeさんの回答と合わせて理解できました。ありがとうございます。