3

我想在 OpenGL 着色语言 (GLSL) 代码中解析自定义标签,这是一种非常类似于 C 的语言。一般用例如下所示:

#version 150

@bind ProjectionMatrix
uniform mat4 projMatrix;
@bind ViewMatrix
uniform mat4 viewMatrix;

in vec4 position;
in vec3 color;

out vec3 Color;

void main()
{
    Color = color;
    gl_Position = projMatrix * viewMatrix * position;
}

我想这样做以使用@bind标签“注释”变量,以便我可以将它们连接到我的实际应用程序中的变量(即我可以将值从我的应用程序传递到 glsl)。所以我会解析 glsl 代码,每当我找到一个@bind标签时,我就会将ProjectionMatrix(or ViewMatrix) 解析为从 c++ 传递给 glsl 的变量,然后将projMatrix(or viewMatrix) 解析为应该存储从 c++ 发送的值的变量.

我想知道的是-为此使用增强波或精神会更好吗?这些是我正在寻找解决这个问题的两个库。

我已经让 boost wave lexer 工作了,因为它迭代了所有令牌。所以我必须编写代码来解析返回的令牌并寻找模式。

我不确定我将如何用精神来做到这一点,但它似乎是一个更强大的词法分析器/解析器。

有人有什么建议吗?

4

1 回答 1

3

我仍然不确定您希望我们如何了解 glsl 的全部内容。所以我真的只能对实际的输入格式做一个大致的猜测。

假设我以我认为合适的最简单的方式来解释这一点(没有荒谬的无用):

annot       = "@bind" >> ident >> eol;
declaration = 
   omit [ +(ident >> !char_(';')) ] // omit the type, TODO
    >> ident >> ';' >> eol;

现在,我们只需要一种简单的方法来忽略整行,直到找到包含注释的行:

ignore = !annot >> *(char_ - eol) >> eol;

如果您想忽略@bind后面没有声明的行,您可能需要使用!combi而不是!annot.

这对你来说只是一个开始。此外,并非所有这些对可忽略行的“隐含”定义都可能导致大量回溯。所以不要指望一流的性能。

#define BOOST_SPIRIT_DEBUG
#include <boost/spirit/include/qi.hpp>
#include <boost/fusion/adapted.hpp>
#include <map>

namespace qi = boost::spirit::qi;

typedef std::map<std::string, std::string> Map;

template <typename It>
  struct grammar : qi::grammar<It, Map(), qi::blank_type>
  {
    grammar() : grammar::base_type(start)
    {
        using namespace qi;
        ident = lexeme [ alpha >> *alnum ];
        annot = "@bind" >> ident >> eol;
        declaration = 
            omit [ +(ident >> !char_(';')) ] // omit the type, TODO
            >> ident >> ';' >> eol;

        ignore = !annot >> *(char_ - eol) >> eol;

        combi = annot >> declaration;
        start = *ignore >> combi % *ignore;

        BOOST_SPIRIT_DEBUG_NODE(start);
        BOOST_SPIRIT_DEBUG_NODE(combi);
        BOOST_SPIRIT_DEBUG_NODE(ignore);
        BOOST_SPIRIT_DEBUG_NODE(declaration);
        BOOST_SPIRIT_DEBUG_NODE(annot);
        BOOST_SPIRIT_DEBUG_NODE(ident);
    }
  private:
    qi::rule<It, qi::blank_type> ignore;
    qi::rule<It, std::string(), qi::blank_type> ident, declaration, annot;
    qi::rule<It, std::pair<std::string, std::string>(), qi::blank_type> combi;
    qi::rule<It, Map(), qi::blank_type> start;
  };

template <typename It>
void test(It f, It l)
{
    grammar<It> p;

    Map mappings;
    bool ok = qi::phrase_parse(f, l, p, qi::blank, mappings);

    if (ok)
    {
        for (auto it = mappings.begin(); it!=mappings.end(); ++it)
            std::cout << "'" << it->second << "' annotated with name '" << it->first << "'\n";
    }

    if (f!=l)
        std::cerr << "warning: remaing unparsed: '" << std::string(f,l) << "'\n";
}

int main()
{
    const std::string input(
        "#include <reality>\n"
        "@bind VarName\n"
        "uniform int myVariable;\n"
        "// other stuff\n"
        "@bind Var2Name\n"
        "uniform int myVariable2;\n");

    test(input.begin(), input.end());
}

这将打印:

'myVariable2' annotated with name 'Var2Name'
'myVariable' annotated with name 'VarName'

liveworkspace.org上实时查看详细 (DEBUG) 输出

于 2013-02-18T17:40:37.520 回答