C++?Boost?Spirit精通教程
rule規(guī)則
在 Boost.Spirit 中，解析器由規(guī)則組成。由于規(guī)則通常基于 Boost.Spirit 提供的解析器，因此沒有明顯的區(qū)別。例如， boost::spirit::ascii::digit 既可以是解析器，也可以是規(guī)則。通常，規(guī)則指的是更復雜的表達式，例如 qi::int_ % ','。
在迄今為止的所有示例中，規(guī)則都直接傳遞給 boost::spirit::qi::parse() 或 boost::spirit::qi::phrase_parse()。通過 boost::spirit::qi::rule，Boost.Spirit 提供了一個類來定義規(guī)則變量。例如，如果應該將規(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 是一個類模板。唯一的強制參數(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)境，您應該更喜歡 boost::spirit::qi::rule 而不是關鍵字 auto。如果值是用 auto 定義的，則該示例在 GCC 和 Clang 中可以正常工作。然而，在 Visual C++ 2013 中，只有第一個數(shù)字被解析并寫入標準輸出。
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 設置為 qi::int_ | qi::bool_。 values 表示可以解析由逗號分隔的任意數(shù)量的值。 value 將值定義為整數(shù)或布爾值?？傊?guī)則規(guī)定用逗號分隔的整數(shù)和布爾值可以按任何順序輸入。
為了存儲任意數(shù)量的值，提供了一個 std::vector 類型的容器。因為值的類型是 int 或 bool，所以需要一個可以存儲 int 或 bool 值的類。根據(jù)屬性類型和運算符的概述，必須使用來自 Boost.Variant 的類 boost::variant。
如果您啟動示例并輸入以逗號分隔的整數(shù)和布爾值，則這些值將寫入以分號分隔的標準輸出流。這是在 Boost.Variant 提供的函數(shù) boost::apply_visitor() 的幫助下完成的。這個函數(shù)需要一個訪問者——在這個例子中是類 print 的一個對象。
請注意，布爾值必須輸入為 true 和 false。
語法
如果要解析復雜的格式，需要定義多個相互引用的規(guī)則，可以用 boost::spirit::qi::grammar 進行分組。
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ū)懭霕藴瘦敵隽?，但用分號分隔。該示例使用與前一個相同的規(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ī)則被定義為成員變量并在構造函數(shù)中初始化。
請注意，最外層的規(guī)則必須與 base_type 一起傳遞給基類的構造函數(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，該示例提供了一個結構來存儲由規(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ù)或布爾值，則它們都存儲在屬性中并寫入標準輸出流。
解析器已從上一個示例中使用的內(nèi)容進行了更改。如果值是用 value % ',' 定義的，則 int_or_bool_values 將只有一個成員變量，并且所有解析的值都可以存儲在一個向量中，如前面的示例所示。因此，int_or_bool_values 就像一個只有一個值的元組——Boost.Spirit 不支持。只有一個成員變量的結構將導致編譯器錯誤。該問題有多種解決方法。
練習
創(chuàng)建一個可以加減整數(shù)的解析器。解析器應該能夠處理像 1+2-5+8 這樣的輸入，并將結果（這里是 6）寫入標準輸出。
擴展您的解析器：它現(xiàn)在應該也支持浮點數(shù)。此外，應該可以使用分數(shù)。新的解析器應該能夠處理像 1.2+6/5-0.9 這樣的輸入，并且應該將結果（這里是 1.5）寫入標準輸出。
到此這篇關于C++ Boost Spirit精通教程的文章就介紹到這了,更多相關C++ Boost Spirit內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關文章希望大家以后多多支持腳本之家！
相關文章
這篇文章主要介紹了C++中的extern聲明變量詳解,本文講解了聲明和定義、extern聲明全局變量、extern聲明函數(shù)等內(nèi)容,需要的朋友可以參考下2015-03-03
這篇文章主要介紹了C++設計模式之命令模式,本文講解了什么是命令模式、命令模式的使用場合等內(nèi)容,并給出了一個代碼實例,需要的朋友可以參考下2014-10-10
inline是C++關鍵字，在函數(shù)聲明或定義中，函數(shù)返回類型前加上關鍵字inline，即可以把函數(shù)指定為內(nèi)聯(lián)函數(shù)。這樣可以解決一些頻繁調(diào)用的函數(shù)大量消耗?？臻g（棧內(nèi)存）的問題2022-07-07
strcat函數(shù)與strncat函數(shù)的深入分析
本篇文章是對strcat函數(shù)與strncat函數(shù)進行了詳細的分析介紹，需要的朋友參考下2013-05-05
C/C++?Qt?TabWidget?實現(xiàn)多窗體創(chuàng)建詳解
TabWidget組件配合自定義Dialog組件，可實現(xiàn)一個復雜的多窗體分頁結構。這篇文章就主要介紹了如何通過TabWidget實現(xiàn)多窗體的創(chuàng)建，感興趣的小伙伴可以了解一下2021-12-12
這篇文章主要介紹了C語言二維數(shù)組的處理實例，有需要的朋友可以參考一下2013-12-12
這篇文章主要介紹了C語言之sizeof與strlen的使用及區(qū)別，具有很好的參考價值，希望對大家有所幫助。如有錯誤或未考慮完全的地方，望不吝賜教2022-07-07
這篇文章主要介紹了C++之set自定義排序問題,具有很好的參考價值,希望對大家有所幫助,如有錯誤或未考慮完全的地方,望不吝賜教2023-11-11
c++一直以來是一個關注效率的代碼，這樣關于函數(shù)的參數(shù)傳遞和返回值的接收，是重中之重，這篇文章主要介紹了c++函數(shù)參數(shù)和返回值,需要的朋友可以參考下2023-05-05
貪心算法 WOODEN STICKS 實例代碼，需要的朋友可以參考一下2013-05-05