1

VC++ コンパイラの警告C4250の意味は明らかです。（ただし、説明についてはこちらを参照してください。） 'class1' : inherits 'class2::member' via dominance

現在、 boost::serialization (1.44.0) を使用して抽象基本クラスを持つクラス階層をシリアル化するときにこの警告が表示されるという問題があります。

私のクラス は、この警告を引き起こす可能性のあるダイヤモンドのような継承階層を形成していませんboost::detail::is_virtual_base_of_impl<...>が、派生クラスのインスタンスをシリアル化するときのインスタンス化によって警告が発生することに注意してください。( Boost.TypeTraitsの is_virtual_base_of を使用しているようです。)

Visual Studio 2005 で警告を再現するための最小限のコード サンプルを次に示します。コードをそのまま 1 つの cpp ファイルにドロップし、コンパイルする必要があることに注意してください。

警告をトリガーするコメントでマークしたコード内の 2 つのポイントにも注意してください。が使用されていない場合、警告はトリガーされませんBOOST_CLASS_EXPORTが、さらに興味深いことに、派生クラスが継承を使用しない場合、警告もトリガーされません! (だから結局C4250が分からないのかもしれません。)virtual

// -- std includes --
#include <iostream>
#include <sstream>
#include <string>

// -- boost serialization --
#define BOOST_SERIALIZATION_DYN_LINK
#include <boost/archive/text_oarchive.hpp>
#include <boost/archive/text_iarchive.hpp>
#include <boost/serialization/export.hpp>

// Base with serialization support
struct Base
{
  virtual ~Base() {};
  virtual void DoStuff() const {
    std::cout << "Base@[" << static_cast<const void*>(this) << "]::DoStuff() called\n";
  }

  template<class Archive> // serialization support!
  void serialize(Archive & ar, const unsigned int file_version)  { /*empty*/  }
};

// (The only) Specific class with ser. support
struct Concrete2 : virtual/*!C4250!*/ public Base
{
  virtual void DoStuff() const {
    std::cout << "Concrete2@[" << static_cast<const void*>(this) << "]::DoStuff() called\n";
  }

  template<class Archive> // serialization support!
  void serialize(Archive & ar, const unsigned int ver) {
    ar & boost::serialization::base_object<Base>(*this);
    // This is just a test - no members neccessary
    std::cout << "Concrete2::serialize!" << typeid(ar).name() << "\n";
  }
};
// Without guid export -> *no* C4250, even *with* virtual inheritance
// (however, can't be serialized via base class pointer anymore)
BOOST_CLASS_EXPORT(Concrete2); 

BOOST_CLASS_TRACKING(Concrete2, boost::serialization::track_never);

int main() {
  using namespace std;
  Concrete2 obj1;
  obj1.DoStuff();

  // The following test code is not neccessary to generate the warning ...
  // (but is neccessary to show if base-pointer serialization works at runtime)
  Base* ref1 = &obj1;
  ostringstream out_buf;
  boost::archive::text_oarchive out_archive(out_buf);
  out_archive << ref1;
  const string buf = out_buf.str();

  cout << "Serialized obj:\n~~~~\n";
  cout << buf;
  cout << "\n~~~~~\n";

  std::istringstream in_buf(buf);
  boost::archive::text_iarchive in_archive(in_buf);
  // Concrete2 obj2;
  Base* ref2;
  in_archive >> ref2;
  if(ref2)
    ref2->DoStuff();
  delete ref2;
}

そして、ここにコンパイラの警告があります (うーん!):

1>...\boost_library-1_44_0\boost\type_traits\is_virtual_base_of.hpp(61) : warning C4250: 'boost::detail::is_virtual_base_of_impl<Base,Derived,tag>::X' : inherits 'Concrete2::Concrete2::DoStuff' via dominance
1>        with
1>        [
1>            Base=type,
1>            Derived=Concrete2,
1>            tag=boost::mpl::bool_<true>
1>        ]
1>        ...\boostserializewarningtest\vbc.cpp(27) : see declaration of 'Concrete2::DoStuff'
...
1>        ...\boost_library-1_44_0\boost\mpl\eval_if.hpp(40) : see reference to class template instantiation 'boost::mpl::if_<T1,T2,T3>' being compiled
1>        with
1>        [
1>            T1=boost::is_virtual_base_of<type,Concrete2>,
1>            T2=boost::mpl::identity<boost::serialization::void_cast_detail::void_caster_virtual_base<Concrete2,type>>,
1>            T3=boost::mpl::identity<boost::serialization::void_cast_detail::void_caster_primitive<Concrete2,type>>
1>        ]
1>        ...\boost_library-1_44_0\boost\serialization\void_cast.hpp(279) : see reference to class template instantiation 'boost::mpl::eval_if<C,F1,F2>' being compiled
1>        with
1>        [
1>            C=boost::is_virtual_base_of<type,Concrete2>,
1>            F1=boost::mpl::identity<boost::serialization::void_cast_detail::void_caster_virtual_base<Concrete2,type>>,
1>            F2=boost::mpl::identity<boost::serialization::void_cast_detail::void_caster_primitive<Concrete2,type>>
1>        ]
1>        ...\boost_library-1_44_0\boost\serialization\base_object.hpp(68) : see reference to function template instantiation 'const boost::serialization::void_cast_detail::void_caster &boost::serialization::void_cast_register<Derived,Base>(const Derived *,const Base *)' being compiled
1>        with
1>        [
1>            Derived=Concrete2,
1>            Base=type
1>        ]
...    
1>        ...\boost_library-1_44_0\boost\serialization\export.hpp(128) : while compiling class template member function 'void boost::archive::detail::`anonymous-namespace'::guid_initializer<T>::export_guid(boost::mpl::false_) const'
1>        with
1>        [
1>            T=Concrete2
1>        ]
1>        ...\boostserializewarningtest\vbc.cpp(40) : see reference to class template instantiation 'boost::archive::detail::`anonymous-namespace'::guid_initializer<T>' being compiled
1>        with
1>        [
1>            T=Concrete2
1>        ]
4

1 に答える 1

1

その理由は、実際にはis_virtual_base_ofブーストタイプの特性からのチェックです。次の例でわかるように、チェックが成功した場合、このチェック構造は警告 C4250 を生成します。

...
struct base { 
    virtual void mf() { };
};
struct derived_normal : public base { 
    virtual void mf() { };
};
struct derived_virt : virtual public base { 
    virtual void mf() { };
};

int main() {
    using namespace std;

    cout << "boost::is_virtual_base_of<base, derived_normal>::value reports: ";
    // The following line DOES NOT cause C4250
    cout << boost::is_virtual_base_of<base, derived_normal>::value << endl;

    cout << "boost::is_virtual_base_of<base, derived_virt> reports: ";
    // The following line causes C4250:
    cout << boost::is_virtual_base_of<base, derived_virt>::value << endl;
 ...

FWIW、ブーストシリアル化でのこの型特性ツールの使用法は次のようになります。

  • マクロBOOST_EXPORT_CLASS->
    • マクロBOOST_CLASS_EXPORT_IMPLEMENT->
      • struct guid_initializer(export.hpp 内) ->
      • (...) void_cast.hpp / void_cast_register-> is_virtual_base_of がここで使用されます

私が知る限り、この場合、警告は完全に無害であり、ヘッダーを次のようにラップすることで防止できます。

#pragma warning( push )
#pragma warning( disable : 4250 ) // C4250 - 'class1' : inherits 'class2::member' via dominance
#include ...
#pragma warning( pop ) // C4250
于 2010-11-05T07:44:23.227 に答える