Update
这个问题涉及两个问题（如接受的答案 https://stackoverflow.com/a/43688320/2428220），这两个问题都存在于 Boost Spirit X3 随 Boost 1.64 一起提供的版本中，但在撰写本文时（2017-04-30），这两个问题现在都已在开发分支中修复（或至少在编译时检测到） ）。
我已经更新了MCVE项目 https://github.com/sigbjornlo/spirit_fruit_mcve反映我使用开发分支而不是最新的 boost 版本所做的更改，希望它可以帮助面临类似问题的其他人。
原来的问题
我正在尝试学习如何将 Spirit X3 解析器分解为单独的可重用语法，正如示例代码 https://github.com/boostorg/spirit/tree/develop/example/x3/（特别是 reexpr_full 和 calc）以及来自2015年中国石油化工大会 https://www.youtube.com/watch?v=xSBWklPLRvw and BoostCon https://www.youtube.com/watch?v=ZeeR7pQ6Le4.
我有一个符号表（本质上将不同类型映射到我支持的类型的枚举类），我想在多个解析器中重用它。我能找到的符号表的唯一示例是罗马数字示例，它位于单个源文件中。
当我尝试以更结构化示例的样式将符号表移动到自己的 cpp/h 文件中时，如果我尝试解析不在符号表中的任何字符串，我的解析器将出现段错误。如果符号表是在与使用它的解析器相同的编译单元中定义的，则会抛出期望异常（这就是我期望它做的事情）。
定义 BOOST_SPIRIT_X3_DEBUG 后，我得到以下输出：
<FruitType>
<try>GrannySmith: Mammals</try>
<Identifier>
<try>GrannySmith: Mammals</try>
<success>: Mammals</success>
<attributes>[[
Process finished with exit code 11
我做了一个小项目，它展示了我正在努力实现的目标，可以在这里找到：https://github.com/sigbjornlo/spirit_fruit_mcve https://github.com/sigbjornlo/spirit_fruit_mcve
我的问题：
- 为什么在这种情况下将符号解析器移动到单独的编译单元会导致分段错误？
- 使符号表在多个解析器中可重用的推荐方法是什么？ （在 MCVE 中我显然只使用
fruit另一个解析器中的解析器，但在我的完整项目中，我想在其他几个解析器中使用它。）
以下是 MCVE 项目的代码：
main.cpp
#include <iostream>
#define BOOST_SPIRIT_X3_DEBUG
#include <boost/spirit/home/x3.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
#include "common.h"
#include "fruit.h"
namespace ast {
struct FruitType {
std::string identifier;
FRUIT fruit;
};
}
BOOST_FUSION_ADAPT_STRUCT(ast::FruitType, identifier, fruit);
namespace parser {
// Identifier
using identifier_type = x3::rule<class identifier, std::string>;
const auto identifier = identifier_type {"Identifier"};
const auto identifier_def = x3::raw[x3::lexeme[(x3::alpha | '_') >> *(x3::alnum | '_')]];
BOOST_SPIRIT_DEFINE(identifier);
// FruitType
struct fruit_type_class;
const auto fruit_type = x3::rule<fruit_type_class, ast::FruitType> {"FruitType"};
// Using the sequence operator creates a grammar which fails gracefully given invalid input.
// const auto fruit_type_def = identifier >> ':' >> make_fruit_grammar();
// Using the expectation operator causes EXC_BAD_ACCESS exception with invalid input.
// Instead, I would have expected an expectation failure exception.
// Indeed, an expectation failure exception is thrown when the fruit grammar is defined here in this compilation unit instead of in fruit.cpp.
const auto fruit_type_def = identifier > ':' > make_fruit_grammar();
BOOST_SPIRIT_DEFINE(fruit_type);
}
int main() {
std::string input = "GrannySmith: Mammals";
parser::iterator_type it = input.begin(), end = input.end();
const auto& grammar = parser::fruit_type;
auto result = ast::FruitType {};
bool successful_parse = boost::spirit::x3::phrase_parse(it, end, grammar, boost::spirit::x3::ascii::space, result);
if (successful_parse && it == end) {
std::cout << "Parsing succeeded!\n";
std::cout << result.identifier << " is a kind of " << to_string(result.fruit) << "!\n";
} else {
std::cout << "Parsing failed!\n";
}
return 0;
}
std::string to_string(FRUIT fruit) {
switch (fruit) {
case FRUIT::APPLES:
return "apple";
case FRUIT::ORANGES:
return "orange";
}
}
common.h
#ifndef SPIRIT_FRUIT_COMMON_H
#define SPIRIT_FRUIT_COMMON_H
namespace x3 = boost::spirit::x3;
enum class FRUIT {
APPLES,
ORANGES
};
std::string to_string(FRUIT fruit);
namespace parser {
using iterator_type = std::string::const_iterator;
using context_type = x3::phrase_parse_context<x3::ascii::space_type>::type;
}
#endif //SPIRIT_FRUIT_COMMON_H
fruit.h
#ifndef SPIRIT_FRUIT_FRUIT_H
#define SPIRIT_FRUIT_FRUIT_H
#include <boost/spirit/home/x3.hpp>
#include "common.h"
namespace parser {
struct fruit_class;
using fruit_grammar = x3::rule<fruit_class, FRUIT>;
BOOST_SPIRIT_DECLARE(fruit_grammar)
fruit_grammar make_fruit_grammar();
}
#endif //SPIRIT_FRUIT_FRUIT_H
水果.cpp
#include "fruit.h"
namespace parser {
struct fruit_symbol_table : x3::symbols<FRUIT> {
fruit_symbol_table() {
add
("Apples", FRUIT::APPLES)
("Oranges", FRUIT::ORANGES);
}
};
struct fruit_class;
const auto fruit = x3::rule<fruit_class, FRUIT> {"Fruit"};
const auto fruit_def = fruit_symbol_table {};
BOOST_SPIRIT_DEFINE(fruit);
BOOST_SPIRIT_INSTANTIATE(fruit_grammar, iterator_type, context_type);
fruit_grammar make_fruit_grammar() {
return fruit;
}
}
