Ошибка компиляции при неоднозначном типе кода с использованием boost::spirit

Если я напишу этот код, он все равно скомпилируется:

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>        ]

Это единственная ошибка, о которой сообщает компилятор. Я не вижу никакой двусмысленности, но компилятор ее видит. В чем причина этой ошибки и как ее исправить?

17.10.2012

Вы обращались за поддержкой напрямую к команде Spirit? см. здесь 17.10.2012
Нет... По духу это похоже на жука? 17.10.2012
@coproc, на самом деле этого не должно было случиться. Здесь мы даем ответы духа, тем более, что это, похоже, не связано с духом. 17.10.2012

Ответы:

Здесь меня поражают две вещи:

как то, что раньше было std::string, могло быть назначено чему-то, что теперь является variant<int>?

Показанный код не включает код, объясняющий это (как, вероятно, в m_oRule или его подправиле). Но, возможно, variant<std::string> создает меньше проблем, учитывая, что раньше вам нужно было присвоить значение std::string.
Похоже, вы часто злоупотребляете struct наследством, чтобы добиться typedef поведения. Обратите внимание, что открытое наследование отличается от typedef, особенно в отношении конструкторов (которые не наследуются).

Попробуйте заменить каждое использование
```
struct A : baseType {};
```
более привычной идиомой
```
typedef baseType A;
```

Я действительно ожидаю, что последний решит проблему, поскольку вы сталкиваетесь с проблемой перегрузки конструктора.

Несмотря на это, я тестировал только gcc, booststd::string51_0 и GNU libstdc++. Он компилирует все, что вы опубликовали, без заминок (но опять же, вы не упустили важные элементы, такие как правило m_oRule, которое фактически присваивает RuleOpWithOperands).

Демонстрация FauxTypedef:

Демонстрация соответствующей проблемы (хотя бы одной) с наследованием вместо 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
}

Если вы настаиваете на использовании _уникального typeid для имени typedef, вы можете прибегнуть к BOOST_STRONG_TYPEDEF

17.10.2012

Добавление демонстрации + упоминание BOOST_STRONG_TYPEDEF 17.10.2012

Ответы: 1. он не должен был иметь тип std::string или boost::variant<int>. Эти типы использовались, чтобы показать проблему. 2. Спасибо за замечание, я использовал struct SBlah для прямого определения. Эти структуры используются в boost::recursive_wrapper<SBlah>. Я имею в виду, что мне нужны такие правила: SConcatenation ::= SIteration*; SIteration ::= (std::string | '(' SConcatenation ')' ('*'|'+'|'?')? );. Можно ли заархивировать такое определение без использования наследования? 18.10.2012

@user1621097 user1621097 В коде, который вы показали, не было ни предварительных объявлений, ни boost:: variant. Абсолютно нет необходимости использовать предварительные объявления для классов, которые не будут содержать рекурсивных ссылок. 18.10.2012

@user1621097 user1621097 В любом случае, хорошие примеры выполнения именно того, что вы описываете (разбор выражений с помощью (подвыражений)) см., например, парсер логических выражений, Разрешены ли рекурсивные грамматики boost-spirit? (последний имеет ссылки к большему количеству примеров). Также см. boost.org/doc/ libs/1_51_0/libs/spirit/example/qi/ и другие образцы там 18.10.2012

Новые материалы

Кластеризация: более глубокий взгляд

Кластеризация — это метод обучения без учителя, в котором мы пытаемся найти группы в наборе данных на основе некоторых известных или неизвестных свойств, которые могут существовать. Независимо от..

Как написать эффективное резюме

Предложения по дизайну и макету, чтобы представить себя профессионально Вам не позвонили на собеседование после того, как вы несколько раз подали заявку на работу своей мечты? У вас может..

Частный метод Python: улучшение инкапсуляции и безопасности

Введение Python — универсальный и мощный язык программирования, известный своей простотой и удобством использования. Одной из ключевых особенностей, отличающих Python от других языков, является..

Как я автоматизирую тестирование с помощью Jest

Шутка для победы, когда дело касается автоматизации тестирования Одной очень важной частью разработки программного обеспечения является автоматизация тестирования, поскольку она создает..

Работа с векторными символическими архитектурами, часть 4 (искусственный интеллект)

Hyperseed: неконтролируемое обучение с векторными символическими архитектурами (arXiv) Автор: Евгений Осипов , Сачин Кахавала , Диланта Хапутантри , Тимал Кемпития , Дасвин Де Сильва ,..

Понимание расстояния Вассерштейна: мощная метрика в машинном обучении

В обширной области машинного обучения часто возникает необходимость сравнивать и измерять различия между распределениями вероятностей. Традиционные метрики расстояния, такие как евклидово..

Обеспечение масштабируемости LLM: облачный анализ с помощью AWS Fargate и Copilot

В динамичной области искусственного интеллекта все большее распространение получают модели больших языков (LLM). Они жизненно важны для различных приложений, таких как интеллектуальные..

Machine Learning JavaScript Blockchain Artificial Intelligence Data Science Cryptocurrency Software Development Python Web Development Coding Deep Learning AI Bitcoin React Software Engineering Ethereum Web3 Business Crypto Nodejs Solidity Development Front End Development Data Finance Money Java Trading Typescript Smart Contracts Productivity Tech Startup Investing Neural Networks Developer Computer Science NLP