ええと、編集もコメントもできないようですので、これを回答として投稿する必要があります。
ルールを if ステートメント ルールと if-else ステートメント ルールに分割することで、この問題を回避しました。しかし、init 宣言の私の定義では、問題が再発します。
init_decl
%= identifier
>> -('=' >> expression)
;
identifier
%= lexeme[(alpha | char_(''))
>> *(alnum | char('_'))]
;
expression
%= literal
;
literal
%= real_literal
| string_literal
;
real_literal
%= double_
;
string_literal
%= lexeme['"'
>> *(char_ - '"')
>> '"']
;
前と同じ問題。しかし、最初は問題の調査がうまくいきませんでした。
In member function 'void boost::variant::convert_construct(T&, int, mpl_::false_) [with T = const Lang::Elements::Expression, T0_ = double, T1 = std::basic_string, std::allocator >, T2 = boost::detail::variant::void_, T3 = boost::detail::variant::void_, T4 = boost::detail::variant::void_, T5 = boost::detail::variant::void_, T6 = boost::detail::variant::void_, T7 = boost::detail::vari
それがこの方法です：
template <typename T>
void convert_construct(
T& operand
, int
, mpl::false_ = mpl::false_() // is_foreign_variant
)
{
// NOTE TO USER :
// Compile error here indicates that the given type is not
// unambiguously convertible to one of the variant's types
// (or that no conversion exists).
//
indicate_which(
initializer::initialize(
storage_.address()
, operand
)
);
}</code>
Remember this error originates from the %= in the init_decl expression. The only variant in this expression is the one contained by the Expression object which is the expression rule's attribute value. The error seems to say that a variant (the type of object Expression contains) is trying to instantiate itself from an Expression, but I can't see this anywhere in the code. Anyway, I added cast operators to the Expression struct that exposes its underlying variant, but still I got the error.
The method that calls the method above is this:
template <typename T>
variant(const T& operand)
{
convert_construct(operand, 1L);
}</code>
It seems like it's trying to call this method instead:
template <typename Variant>
void convert_construct(
Variant& operand
, long
, mpl::true_// is_foreign_variant
)
{
convert_copy_into visitor(storage_.address());
indicate_which(
operand.internal_apply_visitor(visitor)
);
}</code>
これは、このエラーの原因であるコンパイラの誤解ですか?