ヘッダboost/cast.hppは、C++の組み込みキャストを補完するべく作成された、 polymorphic_cast, polymorphic_downcast, numeric_castを提供する。
プログラムcast_test.cppは、これらの関数が期待通り動作するか確認するためのものである。
多態キャスト
多態オブジェクト(少なくとも一個の仮想関数を定義しているクラスのオブジェクト)へのポインタは、時にダウンキャストやクロスキャストされることがある。ダウンキャストとは基本クラスから派生クラスへのキャストである。クロスキャストは継承階層を横切るようなキャストである。例えば、多重継承した基本クラスの一つから、他の基本クラスへのキャストなど。
このようなキャストは古いキャスト演算子でも可能であるが、もうこのアプローチは推奨されない。古いキャスト演算子は型安全性に著しく欠け、可読性を激しく損ない、おまけに検索するのが大変なので。
C++に組み込まれたstatic_castは、多態オブジェクトへのポインタを効率よくダウンキャストするが、ポインタが実際に指しているのと異なる派生クラスへのキャストをしようとしたとき、エラーを検出しない。 polymorphic_downcastテンプレートは、非デバッグコンパイル時には、static_castの効率を維持するが、デバッグコンパイル時には、dynamic_castの成功をassert()によって保証し、安全性を高める。
C++に組み込まれたdynamic_castは、多態オブジェクトへのポインタをダウンキャストまたはクロスキャストするために使うことができるが、エラーを知るには不便にも、返却値が0でないかチェックしなければならず、さらに悪いことに、チェックしないでも済ますことができる。 polymorphic_castテンプレートはdynamic_castを行い、返却値が0だったときには例外を送出する。
polymorphic_downcastは、デバッグモードでのテストで、キャストされうるオブジェクト型を100%カバーでき、同時に非デバッグモードでは効率が重要な場合に役立つであろう。 この二つの条件が満たされないなら、polymorphic_castが適している。また、クロスキャストにはこちらを使わなければならない。 polymorphic_downcastは、assert( dynamic_cast<Derived>(x) == x ) (xは基本クラスへのポインタ)を行う。0が返されなかったばかりでなく、多重継承したオブジェクトへのポインタも正しく変換されたことを保証するためである。 注意:: polymorphic_downcastはassert()を使っているので、NDEBUGの定義が翻訳単位間で異なっていると、単一定義規則(ODR)に違反する。[See ISO Std 3.2]
C++に組み込まれたdynamic_castは、ポインタではなく参照のキャストに使われるべきである。さもなくば、あるインタフェースがサポートされているかどうか調べるために使うことができる。この場合、返却値が0になることはエラーではない。
polymorphic_castとpolymorphic_downcastの概要
namespace boost {
template <class Derived, class Base>
inline Derived polymorphic_cast(Base* x);
// Throws: dynamic_cast<Derived>(x) == 0のときstd::bad_castを送出する
// Returns: dynamic_cast<Derived>(x)
template <class Derived, class Base>
inline Derived polymorphic_downcast(Base* x);
// Effects: assert( dynamic_cast<Derived>(x) == x );
// Returns: static_cast<Derived>(x)
}
polymorphic_downcastの例
#include <boost/cast.hpp>
...
class Fruit { public: virtual ~Fruit(){}; ... };
class Banana : public Fruit { ... };
...
void f( Fruit * fruit ) {
// ... logic which leads us to believe it is a Banana
Banana * banana = boost::polymorphic_downcast<Banana*>(fruit);
...
numeric_cast
static_castや暗黙の変換は、数値をキャストしたときに、表現できる範囲を越えてしまっても感知しない。numeric_cast関数テンプレートはstatic_cast(や暗黙の変換にも、まあ、そこそこ)に似ているが、値の範囲を越えた場合、検出できる点が異なる。実行時に、値が正しく保存されるかチェックして、失敗した場合、例外が送出される。
引数型と返却値型の必須事項は次の通り: - 引数型と返却値型は、いずれもCopyConstructible [ISO Std 20.1.3]でなければならない。 - 引数型と返却値型は、いずれも(std::numeric_limits<>::is_specializedが真であることで定義される)Numericでなければならない。 - 引数型は、返却値型にstatic_castを用いて変換できなければならない。
numeric_castの概要
namespace boost {
class bad_numeric_cast : public std::bad_cast {...};
template<typename Target, typename Source>
inline Target numeric_cast(Source arg);
// Throws: SourceからTagertへの変換によって、std::numeric_limitsの定めに
// 従い、負数の符号が無くなったり、アンダーフローやオーバーフロー
// する場合、bad_numeric_castを送出する。
// Returns: static_cast<Target>(arg)
}
numeric_castの例
#include <boost/cast.hpp>
using namespace boost::cast;
void ariane(double vx)
{
...
unsigned short dx = numeric_cast<unsigned short>(vx);
...
}
numeric_castの理論的根拠
例外送出の条件は、!= 演算の必要を無くすように構成されている。
歴史的経緯
polymorphic_castは"The C++ Programming Language"においてBjarne Stroustrupより提案された。
polymorphic_downcastはDave Abrahamsより寄贈された。
numeric_castはKevlin Henneyより寄贈された。
Revised 06 January, 2001
© Copyright boost.org 1999. Permission to copy, use, modify, sell and distribute this document is granted provided this copyright notice appears in all copies. This document is provided "as is" without express or implied warranty, and with no claim as to its suitability for any purpose.
Japanese Translation Copyright (C) 2003 Yoshinori Tagawa.
オリジナルの、及びこの著作権表示が全ての複製の中に現れる限り、この文書の 複製、利用、変更、販売そして配布を認める。このドキュメントは「あるがまま」 に提供されており、いかなる明示的、暗黙的保証も行わない。また、 いかなる目的に対しても、その利用が適していることを関知しない。