2

このコードを記述しても、コンパイルされます。

namespace MyNamespace
{

struct STreeConstructionRuleQuery : std::string {};
struct STreeConstructionRuleOperation : std::string {};
struct STreeConstructionRuleOperand : std::string {};
struct STreeConstructionRuleCondition : std::string {};

struct STreeConstructionRuleOperationWithOperands : boost::tuple<STreeConstructionRuleOperation, std::vector<STreeConstructionRuleOperand> > {};

struct STreeConstructionRule
{
    boost::optional<std::vector<std::vector<STreeConstructionRuleOperationWithOperands> > > m_sAssertion;
    STreeConstructionRuleQuery m_sQuery;
    STreeConstructionRuleOperationWithOperands m_sAction;
    boost::optional<STreeConstructionRuleCondition> m_sCondition;
};

}


BOOST_FUSION_ADAPT_STRUCT(
    MyNamespace::STreeConstructionRule,
    (boost::optional<std::vector<std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands> > >, m_sAssertion)
    (MyNamespace::STreeConstructionRuleQuery, m_sQuery)
    (MyNamespace::STreeConstructionRuleOperationWithOperands, m_sAction)
    (boost::optional<MyNamespace::STreeConstructionRuleCondition>, m_sCondition)
)


namespace MyNamespace
{

namespace qi = boost::spirit::qi;
namespace ascii = boost::spirit::ascii;
namespace phoenix = boost::phoenix;

template <typename Iterator>
struct STreeContructionRulesGrammar : qi::grammar<Iterator, std::vector<STreeConstructionRule>(), ascii::space_type>
{
    qi::rule<Iterator, std::vector<STreeConstructionRule>(), ascii::space_type> m_oStart;
    qi::rule<Iterator, qi::unused_type(), ascii::space_type> m_oComment;
    qi::rule<Iterator, STreeConstructionRule(), ascii::space_type> m_oRule;

    STreeContructionRulesGrammar() : STreeContructionRulesGrammar::base_type(m_oStart)
    {
        m_oStart = *(m_oComment | m_oRule [phoenix::push_back(qi::_val, qi::_1)]);
        m_oComment = (("-->" >> *(qi::char_) >> "<--") | ('#' >> *(qi::char_ - qi::char_("\n\r")))); 
    }

};
}

しかし、の定義をに変更するSTreeConstructionRuleOperand

struct STreeConstructionRuleOperand : boost::variant<int> {};

次のコンパイル エラーが発生します (STL の代わりに STLPort が使用されます)。

1>d:\commonlib\include\boost\variant\variant.hpp(1373) : error C2666: 'boost::variant<T0_>::convert_construct' : 2 overloads have similar conversions
1>        with
1>        [
1>            T0_=int
1>        ]
1>        d:\commonlib\include\boost\variant\variant.hpp(1358): could be 'void boost::variant<T0_>::convert_construct<int,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_,boost::detail::variant::void_>(const boost::variant<T0_> &,long)'
1>        with
1>        [
1>            T0_=int
1>        ]
1>        d:\commonlib\include\boost\variant\variant.hpp(1289): or       'void boost::variant<T0_>::convert_construct<const T>(T &,int,boost::mpl::false_)'
1>        with
1>        [
1>            T0_=int,
1>            T=MyNamespace::STreeConstructionRuleOperand
1>        ]
1>        while trying to match the argument list '(const MyNamespace::STreeConstructionRuleOperand, long)'
1>        d:\commonlib\include\boost\fusion\container\vector\detail\vector_n.hpp(45) : see reference to function template instantiation 'boost::variant<T0_>::variant<MyNamespace::STreeConstructionRuleOperand>(const T &)' being compiled
1>        with
1>        [
1>            T0_=int,
1>            T=MyNamespace::STreeConstructionRuleOperand
1>        ]
1>        d:\commonlib\include\stlport\stl\_uninitialized.h(93) : see reference to function template instantiation 'void stlpd_std::_Destroy_Range<_OutputIter>(_ForwardIterator,_ForwardIterator)' being compiled
1>        with
1>        [
1>            _OutputIter=stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands> *,
1>            _ForwardIterator=stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands> *
1>        ]
1>        d:\commonlib\include\stlport\stl\_uninitialized.h(113) : see reference to function template instantiation '_OutputIter stlpd_std::priv::__ucopy<_InputIter,_OutputIter,ptrdiff_t>(_RandomAccessIter,_RandomAccessIter,_OutputIter,const stlpd_std::random_access_iterator_tag &,_Distance *)' being compiled
1>        with
1>        [
1>            _OutputIter=stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands> *,
1>            _InputIter=const stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands> *,
1>            _RandomAccessIter=const stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands> *,
1>            _Distance=ptrdiff_t
1>        ]
1>        d:\commonlib\include\stlport\stl\_vector.h(249) : see reference to function template instantiation '_OutputIter stlpd_std::priv::__ucopy_ptrs<const stlpd_std::vector<_Tp>*,stlpd_std::vector<_Tp>*>(_InputIter,_InputIter,_OutputIter,const stlpd_std::__false_type &)' being compiled
1>        with
1>        [
1>            _OutputIter=stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands> *,
1>            _Tp=MyNamespace::STreeConstructionRuleOperationWithOperands,
1>            _InputIter=const stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands> *
1>        ]
1>        d:\commonlib\include\stlport\stl\_vector.h(246) : while compiling class template member function 'stlpd_std::priv::_NonDbg_vector<_Tp,_Alloc>::_NonDbg_vector(const stlpd_std::priv::_NonDbg_vector<_Tp,_Alloc> &)'
1>        with
1>        [
1>            _Tp=stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>,
1>            _Alloc=stlpd_std::allocator<stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>>
1>        ]
1>        d:\commonlib\include\stlport\stl\debug\_iterator.h(378) : see reference to class template instantiation 'stlpd_std::priv::_NonDbg_vector<_Tp,_Alloc>' being compiled
1>        with
1>        [
1>            _Tp=stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>,
1>            _Alloc=stlpd_std::allocator<stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>>
1>        ]
1>        d:\commonlib\include\stlport\stl\debug\_vector.h(106) : see reference to class template instantiation 'stlpd_std::priv::__construct_checker<_Container>' being compiled
1>        with
1>        [
1>            _Container=stlpd_std::priv::_NonDbg_vector<stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>,stlpd_std::allocator<stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>>>
1>        ]
1>        d:\commonlib\include\boost\optional\optional.hpp(110) : see reference to class template instantiation 'stlpd_std::vector<_Tp>' being compiled
1>        with
1>        [
1>            _Tp=stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>
1>        ]
1>        d:\commonlib\include\boost\optional\optional.hpp(113) : see reference to class template instantiation 'boost::optional_detail::aligned_storage<T>::dummy_u' being compiled
1>        with
1>        [
1>            T=stlpd_std::vector<stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>>
1>        ]
1>        d:\commonlib\include\boost\optional\optional.hpp(450) : see reference to class template instantiation 'boost::optional_detail::aligned_storage<T>' being compiled
1>        with
1>        [
1>            T=stlpd_std::vector<stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>>
1>        ]
1>        d:\commonlib\include\boost\optional\optional.hpp(457) : see reference to class template instantiation 'boost::optional_detail::optional_base<T>' being compiled
1>        with
1>        [
1>            T=stlpd_std::vector<stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>>
1>        ]
1>        d:\preformator\sources\prefcore\preftreeconstructor.cpp(52) : see reference to class template instantiation 'boost::optional<T>' being compiled
1>        with
1>        [
1>            T=stlpd_std::vector<stlpd_std::vector<MyNamespace::STreeConstructionRuleOperationWithOperands>>
1>        ]

これは、コンパイラが報告する唯一のエラーです。あいまいさはありませんが、コンパイラにはあります。このエラーの理由と修正方法を教えてください。

4

1 に答える 1

1

ここで2つのことが私を襲います:

  1. 以前は だったものが、現在は になっているものにどのようstd::stringに割り当てられるのvariant<int>でしょうか?

    示されているコードには、これを説明するコードは含まれていません (おそらくm_oRuleそのサブルールに含まれているため)。しかし、以前に割り当てる値がvariant<std::string>どのようにあったかを見て、問題が少なくなる可能性があります。std::string

  2. あなたは振る舞いを達成するために継承をかなり悪用しているようです。 パブリック継承は、特にコンストラクター(継承されない) に関しては、 a と同じではないことに注意してください。struct typedeftypedef

    の使用ごとに置き換えてみてください

    struct A : baseType {};
    

    のより一般的なイディオムによって

    typedef baseType A;
    

コンストラクターの過負荷の問題が発生しているため、後者で問題が解決することを実際に期待しています。

それにもかかわらず、私は gcc、boost_1_51_0、および GNU libstdc++ でのみテストしました。投稿したものはすべて問題なくコンパイルされます (ただし、への実際の割り当てを行うルール など、重要な要素を省略したわけではありません)。m_oRuleRuleOpWithOperands

デモンストレーション FauxTypedef:

の代わりに継承を使用して、関連する問題 (少なくとも 1 つ) を示しtypedefます。

struct Type {
    Type(int, double) { }
};

typedef Type          ProperTypedef;
struct  FauxTypedef : Type { };

int main()
{
    Type          a(1, 4.2); // okay
    ProperTypedef b(1, 4.2); // okay as well, obviously
    FauxTypedef   c(1, 4.2); // oops ouch!!! This won't compile
}

typeidtypedef された名前に_unique を使用することを主張する場合は、BOOST_STRONG_TYPEDEFに頼ることができます

于 2012-10-17T12:48:40.257 に答える