スコープ解決演算子: ::

スコープ解決演算子 :: は、さまざまなスコープで使用される識別子を識別し、あいまいさを解消するために使用されます。 スコープの詳細については、「 スコープ」を参照してください。

構文

qualified-id:
nested-name-specifier template 選ぶunqualified-id

nested-name-specifier:
::
type-name ::
namespace-name ::
decltype-specifier ::
nested-name-specifier identifier ::
nested-name-specifier template 選ぶsimple-template-id::

unqualified-id:
identifier
operator-function-id
conversion-function-id
literal-operator-id
~ type-name
~ decltype-specifier
template-id

注釈

identifierには、変数、関数、または列挙値を指定できます。

クラスと名前空間に :: を使用する

次の例は、名前空間とクラスでスコープ解決演算子を使用する方法を示しています。

namespace NamespaceA{
    int x;
    class ClassA {
    public:
        int x;
    };
}

int main() {

    // A namespace name used to disambiguate
    NamespaceA::x = 1;

    // A class name used to disambiguate
    NamespaceA::ClassA a1;
    a1.x = 2;
}

スコープ修飾子のないスコープ解決演算子は、グローバル名前空間を参照します。

namespace NamespaceA{
    int x;
}

int x;

int main() {
    int x;

    // the x in main()
    x = 0;
    // The x in the global namespace
    ::x = 1;

    // The x in the A namespace
    NamespaceA::x = 2;
}

スコープ解決演算子を使用して、 namespaceのメンバーを識別したり、 using ディレクティブでメンバーの名前空間を指定する名前空間を識別したりすることができます。 次の例では、NamespaceBusing ディレクティブによってNamespaceCに指定されているため、ClassBが名前空間NamespaceBで宣言されている場合でも、NamespaceCを使用してClassBを修飾できます。

namespace NamespaceB {
    class ClassB {
    public:
        int x;
    };
}

namespace NamespaceC{
    using namespace NamespaceB;
}

int main() {
    NamespaceB::ClassB b_b;
    NamespaceC::ClassB c_b;

    b_b.x = 3;
    c_b.x = 4;
}

スコープ解決演算子のチェーンを使用できます。 次の例では、 NamespaceD::NamespaceD1 は入れ子になった名前空間 NamespaceD1を識別し、 NamespaceE::ClassE::ClassE1 は入れ子になったクラスの ClassE1を識別します。

namespace NamespaceD{
    namespace NamespaceD1{
        int x;
    }
}

namespace NamespaceE{
    class ClassE{
    public:
        class ClassE1{
        public:
            int x;
        };
    };
}

int main() {
    NamespaceD:: NamespaceD1::x = 6;
    NamespaceE::ClassE::ClassE1 e1;
    e1.x = 7  ;
}

静的メンバーに :: を使用する

クラスの静的メンバーを呼び出すには、スコープ解決演算子を使用する必要があります。

class ClassG {
public:
    static int get_x() { return x;}
    static int x;
};

int ClassG::x = 6;

int main() {

    int gx1 = ClassG::x;
    int gx2 = ClassG::get_x();
}

スコープ付き列挙型に :: を使用する

スコープ解決演算子は、次の例のように、スコープ付き列挙 列挙宣言の値でも使用されます。

enum class EnumA{
    First,
    Second,
    Third
};

int main() {
    EnumA enum_value = EnumA::First;
}

こちらも参照ください

C++ 組み込み演算子、優先順位、および結合規則
名前空間