C++?Boost?Spirit精通教程
rule規(guī)則
在 Boost.Spirit 中，解析器由規(guī)則組成。由于規(guī)則通常基于 Boost.Spirit 提供的解析器，因此沒有明顯的區(qū)別。例如， boost::spirit::ascii::digit 既可以是解析器，也可以是規(guī)則。通常，規(guī)則指的是更復(fù)雜的表達(dá)式，例如 qi::int_ % ','。
在迄今為止的所有示例中，規(guī)則都直接傳遞給 boost::spirit::qi::parse() 或 boost::spirit::qi::phrase_parse()。通過 boost::spirit::qi::rule，Boost.Spirit 提供了一個類來定義規(guī)則變量。例如，如果應(yīng)該將規(guī)則存儲在類的成員變量中，則需要 boost::spirit::qi::rule。
Example11.13.Defining rules withboost::spirit::qi::rule
#include <boost/spirit/include/qi.hpp>
#include <string>
#include <vector>
#include <iterator>
#include <algorithm>
#include <iostream>
using namespace boost::spirit;
int main()
{
std::string s;
std::getline(std::cin, s);
auto it = s.begin();
qi::rule<std::string::iterator, std::vector<int>(),
ascii::space_type> values = qi::int_ % ',';
std::vector<int> v;
if (qi::phrase_parse(it, s.end(), values, ascii::space, v))
{
std::ostream_iterator<int> out{std::cout, ";"};
std::copy(v.begin(), v.end(), out);
}
}示例 11.13 的工作方式與示例 11.12 類似。如果您輸入多個以逗號分隔的整數(shù)，它們將用分號顯示。與前面的示例相比，解析器沒有直接傳遞給 boost::spirit::qi::phrase_parse()，而是在 boost::spirit::qi::rule 變量中定義。
boost::spirit::qi::rule 是一個類模板。唯一的強(qiáng)制參數(shù)是被解析字符串的迭代器類型。在示例中，還傳遞了另外兩個可選模板參數(shù)。
第二個模板參數(shù)是 std::vector<int>()，它是返回 std::vector<int> 類型向量且不需要參數(shù)的函數(shù)的簽名。該模板參數(shù)表示解析的屬性類型為int向量。
第三個模板參數(shù)是 boost::spirit::qi::phrase_parse() 使用的 skipper 的類型。在示例中，使用了船長 boost::spirit::ascii::space。該船長的類型可通過 boost::spirit::ascii::space_type 獲得，并作為模板參數(shù)傳遞給 boost::spirit::qi::rule。
如果您希望您的代碼獨立于平臺并使用 C++11 開發(fā)環(huán)境，您應(yīng)該更喜歡 boost::spirit::qi::rule 而不是關(guān)鍵字 auto。如果值是用 auto 定義的，則該示例在 GCC 和 Clang 中可以正常工作。然而，在 Visual C++ 2013 中，只有第一個數(shù)字被解析并寫入標(biāo)準(zhǔn)輸出。
Example11.14.Nesting Rules
#include <boost/spirit/include/qi.hpp>
#include <boost/variant.hpp>
#include <string>
#include <vector>
#include <algorithm>
#include <iostream>
using namespace boost::spirit;
struct print : public boost::static_visitor<>
{
template <typename T>
void operator()(T t) const
{
std::cout << std::boolalpha << t << ';';
}
};
int main()
{
std::string s;
std::getline(std::cin, s);
auto it = s.begin();
qi::rule<std::string::iterator, boost::variant<int, bool>(),
ascii::space_type> value = qi::int_ | qi::bool_;
qi::rule<std::string::iterator, std::vector<boost::variant<int, bool>>(),
ascii::space_type> values = value % ',';
std::vector<boost::variant<int, bool>> v;
if (qi::phrase_parse(it, s.end(), values, ascii::space, v))
{
for (const auto &elem : v)
boost::apply_visitor(print{}, elem);
}
}Example11.14.Nesting Rules
#include <boost/spirit/include/qi.hpp>
#include <boost/variant.hpp>
#include <string>
#include <vector>
#include <algorithm>
#include <iostream>
using namespace boost::spirit;
struct print : public boost::static_visitor<>
{
template <typename T>
void operator()(T t) const
{
std::cout << std::boolalpha << t << ';';
}
};
int main()
{
std::string s;
std::getline(std::cin, s);
auto it = s.begin();
qi::rule<std::string::iterator, boost::variant<int, bool>(),
ascii::space_type> value = qi::int_ | qi::bool_;
qi::rule<std::string::iterator, std::vector<boost::variant<int, bool>>(),
ascii::space_type> values = value % ',';
std::vector<boost::variant<int, bool>> v;
if (qi::phrase_parse(it, s.end(), values, ascii::space, v))
{
for (const auto &elem : v)
boost::apply_visitor(print{}, elem);
}
}example11.14 定義了兩個規(guī)則，其中一個引用另一個：values 定義為 value % ','，value 設(shè)置為 qi::int_ | qi::bool_。 values 表示可以解析由逗號分隔的任意數(shù)量的值。 value 將值定義為整數(shù)或布爾值?？傊?guī)則規(guī)定用逗號分隔的整數(shù)和布爾值可以按任何順序輸入。
為了存儲任意數(shù)量的值，提供了一個 std::vector 類型的容器。因為值的類型是 int 或 bool，所以需要一個可以存儲 int 或 bool 值的類。根據(jù)屬性類型和運算符的概述，必須使用來自 Boost.Variant 的類 boost::variant。
如果您啟動示例并輸入以逗號分隔的整數(shù)和布爾值，則這些值將寫入以分號分隔的標(biāo)準(zhǔn)輸出流。這是在 Boost.Variant 提供的函數(shù) boost::apply_visitor() 的幫助下完成的。這個函數(shù)需要一個訪問者——在這個例子中是類 print 的一個對象。
請注意，布爾值必須輸入為 true 和 false。
語法
如果要解析復(fù)雜的格式，需要定義多個相互引用的規(guī)則，可以用 boost::spirit::qi::grammar 進(jìn)行分組。
Example11.15.Grouping rules in a grammar
#include <boost/spirit/include/qi.hpp>
#include <boost/variant.hpp>
#include <string>
#include <vector>
#include <iostream>
using namespace boost::spirit;
template <typename Iterator, typename Skipper>
struct my_grammar : qi::grammar<Iterator,
std::vector<boost::variant<int, bool>>(), Skipper>
{
my_grammar() : my_grammar::base_type{values}
{
value = qi::int_ | qi::bool_;
values = value % ',';
}
qi::rule<Iterator, boost::variant<int, bool>(), Skipper> value;
qi::rule<Iterator, std::vector<boost::variant<int, bool>>(), Skipper>
values;
};
struct print : public boost::static_visitor<>
{
template <typename T>
void operator()(T t) const
{
std::cout << std::boolalpha << t << ';';
}
};
int main()
{
std::string s;
std::getline(std::cin, s);
auto it = s.begin();
my_grammar<std::string::iterator, ascii::space_type> g;
std::vector<boost::variant<int, bool>> v;
if (qi::phrase_parse(it, s.end(), g, ascii::space, v))
{
for (const auto &elem : v)
boost::apply_visitor(print{}, elem);
}
}示例 11.15 的工作方式與示例 11.14 類似：您可以按任何順序輸入整數(shù)和布爾值，并以逗號分隔。它們將以相同的順序?qū)懭霕?biāo)準(zhǔn)輸出流，但用分號分隔。該示例使用與前一個相同的規(guī)則——值和值。然而，這一次規(guī)則被分組在一個語法中。語法在一個名為 my_grammar 的類中定義，該類派生自 boost::spirit::qi::grammar。
my_grammar 和 boost::spirit::qi::grammar 都是類模板。 boost::spirit::qi::grammar 期望的模板參數(shù)與 boost::spirit::qi::rule 期望的模板參數(shù)相同。要解析的字符串的迭代器類型必須傳遞給 boost::spirit::qi::grammar。您還可以傳遞定義屬性類型和船長類型的函數(shù)的簽名。
在 my_grammar 中， boost::spirit::qi::rule 用于定義規(guī)則值和值。規(guī)則被定義為成員變量并在構(gòu)造函數(shù)中初始化。
請注意，最外層的規(guī)則必須與 base_type 一起傳遞給基類的構(gòu)造函數(shù)。這樣，Boost.Spirit 就知道哪個規(guī)則是語法的入口點。
一旦定義了語法，就可以像解析器一樣使用它。在示例 11.15 中，my_grammar 在 main() 中實例化以創(chuàng)建 g。然后將 g 傳遞給 boost::spirit::qi::phrase_parse()。
Example11.16.Storing parsed values in structures
#include <boost/spirit/include/qi.hpp>
#include <boost/variant.hpp>
#include <boost/fusion/include/adapt_struct.hpp>
#include <string>
#include <vector>
#include <iostream>
using namespace boost::spirit;
typedef boost::variant<int, bool> int_or_bool;
struct int_or_bool_values
{
int_or_bool first;
std::vector<int_or_bool> others;
};
BOOST_FUSION_ADAPT_STRUCT(
int_or_bool_values,
(int_or_bool, first)
(std::vector<int_or_bool>, others)
)
template <typename Iterator, typename Skipper>
struct my_grammar : qi::grammar<Iterator, int_or_bool_values(), Skipper>
{
my_grammar() : my_grammar::base_type{values}
{
value = qi::int_ | qi::bool_;
values = value >> ',' >> value % ',';
}
qi::rule<Iterator, int_or_bool(), Skipper> value;
qi::rule<Iterator, int_or_bool_values(), Skipper> values;
};
struct print : public boost::static_visitor<>
{
template <typename T>
void operator()(T t) const
{
std::cout << std::boolalpha << t << ';';
}
};
int main()
{
std::string s;
std::getline(std::cin, s);
auto it = s.begin();
my_grammar<std::string::iterator, ascii::space_type> g;
int_or_bool_values v;
if (qi::phrase_parse(it, s.end(), g, ascii::space, v))
{
print p;
boost::apply_visitor(p, v.first);
for (const auto &elem : v.others)
boost::apply_visitor(p, elem);
}
}示例 11.16 基于前面的示例，但需要至少兩個值。規(guī)則值定義為 value >> ',' >> value % ','。
values 中的第一個組件是 value，第二個是 value % ','。第一個組件解析的值必須存儲在 boost::variant 類型的對象中。第二個組件解析的值必須存儲在容器中。使用 int_or_bool_values，該示例提供了一個結(jié)構(gòu)來存儲由規(guī)則值的兩個組件解析的值。
要將 int_or_bool_values 與 Boost.Spirit 一起使用，必須使用宏 BOOST_FUSION_ADAPT_STRUCT。該宏由 Boost.Fusion 提供。該宏可以將 int_or_bool_values 視為具有 int_or_bool 和 std::vector<int_or_bool> 類型的兩個值的元組。因為這個元組具有正確數(shù)量的正確類型的值，所以可以使用簽名 int_or_bool_values() 定義值。 values 將在 first 中存儲第一個解析值，在其他中存儲所有其他解析值。
int_or_bool_values 類型的對象作為屬性傳遞給 boost::spirit::qi::phrase_parse()。如果您啟動示例并輸入至少兩個以逗號分隔的整數(shù)或布爾值，則它們都存儲在屬性中并寫入標(biāo)準(zhǔn)輸出流。
解析器已從上一個示例中使用的內(nèi)容進(jìn)行了更改。如果值是用 value % ',' 定義的，則 int_or_bool_values 將只有一個成員變量，并且所有解析的值都可以存儲在一個向量中，如前面的示例所示。因此，int_or_bool_values 就像一個只有一個值的元組——Boost.Spirit 不支持。只有一個成員變量的結(jié)構(gòu)將導(dǎo)致編譯器錯誤。該問題有多種解決方法。
練習(xí)
創(chuàng)建一個可以加減整數(shù)的解析器。解析器應(yīng)該能夠處理像 1+2-5+8 這樣的輸入，并將結(jié)果（這里是 6）寫入標(biāo)準(zhǔn)輸出。
擴(kuò)展您的解析器：它現(xiàn)在應(yīng)該也支持浮點數(shù)。此外，應(yīng)該可以使用分?jǐn)?shù)。新的解析器應(yīng)該能夠處理像 1.2+6/5-0.9 這樣的輸入，并且應(yīng)該將結(jié)果（這里是 1.5）寫入標(biāo)準(zhǔn)輸出。
到此這篇關(guān)于C++ Boost Spirit精通教程的文章就介紹到這了,更多相關(guān)C++ Boost Spirit內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！
相關(guān)文章
C語言利用結(jié)構(gòu)體數(shù)組實現(xiàn)學(xué)生成績管理系統(tǒng)
這篇文章主要為大家詳細(xì)介紹了C語言利用結(jié)構(gòu)體數(shù)組實現(xiàn)學(xué)生成績管理系統(tǒng)，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價值，感興趣的小伙伴們可以參考一下2018-01-01
這篇文章主要介紹了C++虛函數(shù)的工作原理的的相關(guān)資料，文中講解非常細(xì)致，代碼幫助大家更好的理解和學(xué)習(xí)，感興趣的朋友可以了解下2020-06-06
使用c++實現(xiàn)OpenCV繪制旋轉(zhuǎn)矩形圖形
這篇文章主要給大家介紹了使用c++實現(xiàn)OpenCV繪制圖形旋轉(zhuǎn)矩形的方法案例，通過圖文及代碼形式進(jìn)行了詳細(xì)的描述，有需要的朋友可以參考下，希望可以有所幫助2021-08-08
這篇文章主要介紹了C++指針與引用的異同，文章以C++指針與引用的相關(guān)資料結(jié)合指針和引用的相同點和區(qū)別展開詳細(xì)內(nèi)容,需要的朋友可以參考一下2021-11-11
這篇文章主要為大家詳細(xì)介紹了C語言實現(xiàn)簡單五子棋游戲，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價值，感興趣的小伙伴們可以參考一下2021-11-11
C++超詳細(xì)梳理lambda和function的使用方法
C++在C11標(biāo)準(zhǔn)中引入了匿名函數(shù),即沒有名字的臨時函數(shù),又稱之為lambda表達(dá)式.lambda表達(dá)式 實質(zhì)上是創(chuàng)建一個匿名函數(shù)/對象，這篇文章主要介紹了lambda和function的使用方法2022-08-08
這篇文章主要介紹了C++?中的類型,C++的類型很復(fù)雜，往往一個類型匹配錯誤就會導(dǎo)致程序報錯，本篇主要講解一些常用類型的概念以及細(xì)節(jié),需要的朋友可以參考一下，希望對你有所幫助2021-12-12
下面小編就為大家?guī)硪黄獪\談c和c++的某些小區(qū)別。小編覺得挺不錯的，現(xiàn)在就分享給大家，也給大家做個參考。一起跟隨小編過來看看吧2016-06-06
OnSize、OnSizing和OnGetMinMaxInfo區(qū)別分析
這篇文章主要介紹了OnSize、OnSizing和OnGetMinMaxInfo區(qū)別分析,需要的朋友可以參考下2015-01-01
這篇文章主要為大家詳細(xì)介紹了C++中值傳遞、指針傳遞和引用傳遞的定義與使用，文中的示例代碼講解詳細(xì)，對我們學(xué)習(xí)C++有一定幫助，需要的可以參考一下2022-10-10