C++ クラスのメンバをconst にしたり、しなかったりしたい。

Question

##質問概要（ここだけ読んでも内容掴めないかも.....）
クラスのメンバをconst に変えたものとそうでない物を、typedef で区別したいけど、そんな方法ありますか？

##質問詳細
例えば、以下のように入れ子状のクラスがあったとします。

class OuterClass
{
	private:
		class InnerClass
		{
		private:
			int* pointer;
		public:
			InnerClass(/* args */);
			~InnerClass();
		};

	public:
		typedef InnerClass Class1; //<-ココ


		OuterClass(/* args */);
		~OuterClass();
};

"<-ココ"　で示されてるように、InnerClass はtypedef を使って、OuterClass 内で名前変更されています。

ここで私が解決したい問題が何かというと、InnerClass　のメンバの int* pointer を int* const pointer(コンストポインタ)にしたInnerClass を別名でOuterClass内で定義したいが、その方法がわからない（そもそもそれって可能なの？）ということです。

つまり、最終的にはOuterClass は以下のようにしたいのですが、それは可能ですか？？

class OuterClass
{
	private:
		class InnerClass
		{
		private:
			int* pointer;
		public:
			InnerClass(/* args */);
			~InnerClass();
		};

	public:
		typedef InnerClass Class1; //<-ココ
        typedef 〇〇        Class2 // <-Class2 は　InnnerClass のメンバがint* const pointer になったものを示す。

		OuterClass(/* args */);
		~OuterClass();
};

ちなみに、別の InnerClass2 などを作らずにこれを実現したいです.....
つまり、OuterClass の内部クラスはInnerClass のみの状態で、メンバがint* pointer か int* const pointer かで名前を分けたいのですが、その方法はありませんか... ということです。

質問内容伝わりましたか...>< ??
お力をお貸しください

Answer 1

内部クラスInnerClassをテンプレートクラスとすれば実現可能です。

#include <type_traits>

class OuterClass
{
    private:
        // const性の有無をパラメータ化したテンプレートクラス
        template<bool Constness>
        class InnerClass
        {
        private:
            // テンプレートパラメータConstnessの値に応じて
            // int * または int * const を切り替える
            typedef typename std::conditional<
                Constness, int * const, int *>::type
                pointer_type;
            pointer_type pointer;
        public:
            InnerClass(/* args */);
            ~InnerClass();
        };

    public:
        // const性の有無をテンプレートパラメータに指定 
        typedef InnerClass<false> Class1;
        typedef InnerClass<true>  Class2;

        OuterClass(/* args */);
        ~OuterClass();
};

Demo: https://wandbox.org/permlink/8u8NTgrJc23dBJTi

Comments

[Chironian]

なるほどです。これは思いつかなかった。
テンプレートは１つの記述から複数の型を生成できるので、クラス自体は別途定義されますが、記述は1回で済みますね。

[yoshiki_iwasa]

お返事遅れてすみません！
これで実験してみます！　ありがとうございます！！！

Answer 2

こんにちは。

一部のメンバーを修飾するような「修飾子」はありませんので、class2は別途定義するしかありません。

しかし、全体を修飾して異なる型を定義することは可能です。InnerClass全体をconst修飾して、typedef const InnerClass Class2;はできます。メンバ変数全てがconstになります。メンバ変数がpointer一つしかないなら、ほぼ同じ機能を実現できます。

---

余談ですが、int* const pointer;はpointerの値をconstにしますので、異なる領域へポイント先を変更でませんが、ポイント先の値を変更することは可能です。
これに対してよく使われるint const* foo;はfooは異なる領域へポイント先を変更できますが、ポイント先の値を変更できません。
混乱しやすい部分ですので改めて。

Comments

[yoshiki_iwasa]

ご回答ありがとうございます！！！