C++のスコープ解決演算子（::）とthisポインタの違いをわかりやすく解説

C++プログラミングにおいて、スコープ解決演算子（::）はクラスの静的メンバーやクラスメンバーにアクセスするために使用され、一方thisポインタは、ローカル変数が同じ名前のメンバー変数を隠してしまう場合に、オブジェクト自身のメンバーにアクセスするために使用されます。

この記事では、それぞれの使い方をサンプルコードと実行結果付きで詳しく解説します。

スコープ解決演算子（::）とは

スコープ解決演算子「::」は、クラス名や名前空間を明示的に指定することで、特定のスコープに属するメンバーへ直接アクセスできる演算子です。特に静的メンバー（staticメンバー）へのアクセスや、ローカル変数によって隠されたクラスメンバーへのアクセスに役立ちます。

サンプルコード

#include<iostream>
using namespace std;

class AB {
    static int x;
public:
    // ローカル引数 'x' がクラスメンバー 'x' を隠すが、
    // 「::」を使えばアクセス可能
    void print(int x) {
        cout << "the number is:" << AB::x;
    }
};

// C++ではstaticメンバーは以下のように明示的に定義が必要
int AB::x = 7;

int main() {
    AB ob;
    int m = 6;
    ob.print(m);
    return 0;
}

実行結果

the number is:7

この例では、print関数の引数xがクラスの静的メンバーxを隠していますが、AB::xと記述することで、正しく静的メンバーの値「7」を出力できています。

thisポインタとは

thisポインタは、メンバー関数内で「その関数を呼び出したオブジェクト自身」を指す特殊なポインタです。引数などのローカル変数がメンバー変数と同じ名前の場合、通常はローカル変数が優先されますが、this->を付けることでオブジェクトのメンバー変数に確実にアクセスできます。

サンプルコード

#include<iostream>
using namespace std;

class AB {
    int x;
public:
    AB() {
        x = 6;
    }
    // ここでもローカル引数 'x' がオブジェクトのメンバー 'x' を隠すが、
    // thisポインタを使えばアクセス可能
    void print(int x) {
        cout << "the number is: " << this->x;
    }
};

int main() {
    AB ob;
    int m = 7;
    ob.print(m);
    return 0;
}

実行結果

the number is: 6

この例では、コンストラクタで初期化されたメンバー変数xの値「6」が、this->xによって正しく出力されています。引数x（値は7）ではなく、オブジェクト自身のメンバーが参照されている点に注目してください。

両者の違いまとめ

まとめ

スコープ解決演算子（::）はクラスレベルのメンバーにアクセスするための手段であり、thisポインタはオブジェクトレベルのメンバーにアクセスするための手段です。特に、引数名とメンバー変数名が同じ場合にどちらを使うべきかを理解しておくと、意図しないバグを防ぎ、より安全で読みやすいC++コードを書くことができます。