std::stack は継承してはいけないのか？

Question

std::stack は継承してはいけないとこのサイトに書いてあるのですが、ホント(?_?)

今、std::stack を継承して、std::stack の基底クラコンテナである deque のイテレータシステムを使うことで、イテレータの使えるstack を作ろうとしています

クラスの定義

#include <stack>
#include <deque>
#include <iostream>

template<typename T>
class MutantStack: public std::stack<T>
{
	public:
		typedef typename std::stack<T>::container_type::iterator iterator;
		iterator begin(void);
		iterator end(void);
		MutantStack();
		MutantStack(const MutantStack&);
		MutantStack &operator=(const MutantStack&);
		~MutantStack();
};

メンバ関数実装

#include "mutantstack.hpp"

template<typename T>
MutantStack<T>::MutantStack()
{}

template<typename T>
MutantStack<T>::MutantStack(const MutantStack&)
{}

template<typename T>
MutantStack<T>::~MutantStack()
{}

template<typename T>
typename MutantStack<T>::iterator MutantStack<T>::begin()
{
	return(this->c.begin());
}


template<typename T>
typename MutantStack<T>::iterator MutantStack<T>::end()
{
	return(this->c.end());
}

ですが、上記のサイトには、「仮想デストラクタ（【言語解説】第２７章）ではないので、stack を継承して使用することは不適切であることに注意してください。」と書いてあったので継承はNGなのか…と思いました。確かに....

でもこのクラスを使ってもメモリリークはしなんいんですよね...

加えて、ソースコードを追うとそもそもstd::deque も仮想デストラクタを持っていないようです。

結局std::stack は継承してもいいのでしょうか？
std::stack のソースコードがなぜか見つからなかったので、もしstd::stack のソースコードのリンクを知ってる方がいたらそれも合わせて教えていただきたいです

よろしくおねがいします　m（_ _）m

Answer 1

でもこのクラスを使ってもメモリリークはしなんいんですよね...

直接MutantStackという名前で使えば動きます。破綻するのは、stack&やstack*でMutantStackを指すポリモーフィズムを行った場合です。

とはいえ、ポリモーフィズムを行えないのなら継承する意味はほぼありません。コンポジションで作るほうが適切です。

Comments

[maisumakun]

stackもdequeをテンプレート引数に取る「コンポジション」で構成されており、継承はしていません。

template <class T, class Container = deque<T>>class stack;

[yoshiki_iwasa]

あー　そうか、親クラスにキャストすること（ポリモーフィズム）がなければvirtual にする必要はないことを思い出しました！！
ありがとうございます！

[yoshiki_iwasa]

そもそも、deque を継承していないことも確認しました！
ありがとうございます！！！

Answer 2

結局std::stack は継承してもいいのでしょうか？

private継承とかしてやること自体はOKでしょう．（それによってどれだけ嬉しいことがあるのか？って話は別として）

また，問題が起きる状況を完全に避けられる（基底型のポインタや参照で指示されるような状況を作らない）ならば public継承 しても良いと思う．
例えば，以下のような．

class X
{
private:
  //このクラスの中だけで安全に使う．
  class MyIntStack : public std::stack<int> { ... } m_MyIntStack;
};

Comments

[fana]

遥か過去の話に自身でコメントするが…
std::stack 等には protected なメンバが存在する
（具体的には std::stack や std::queue といったコンテナアダプタは内部で使うコンテナを protected メンバとしている）ようだ．
つまり，元々継承して使うことも想定した形になっているみたい．

…っていう話をさっき SO で見てきたのであった．
https://ja.stackoverflow.com/questions/93877/

＃手元の古い(2003年ごろの)本を確認したら，そこにもちゃんと書いてあった！　私は20年も見逃していたのか！