Question

我遇到这个密码的问题：

struct Result(Success, Error) {
    union {
        success @0 :Success;
        error   @1 :Error;
    }
}

我创建并编译了这样的c ++源代码：

capnp compile -oc++ test.capnp
g++ -o test.capnp.o test.capnp.c++ `pkg-config --cflags capnp` -std=c++11

我在生成的头文件中的多个位置得到了同样的错误（与ERROR相同而不是SUCCESS）：

error: type/value mismatch at argument 2 in template parameter list for ‘template<class Success, class Error> struct Result’
   KJ_IREQUIRE(which() == Result<Success, Error>::SUCCESS,
   ^
error:   expected a type, got ‘true’
error: expected primary-expression before ‘>’ token
   KJ_IREQUIRE(which() == Result<Success, Error>::SUCCESS,
                                               ^
error: ‘::SUCCESS’ has not been declared
   KJ_IREQUIRE(which() == Result<Success, Error>::SUCCESS,
                                                ^

以下是g ++抱怨的定义之一：

template <typename Success, typename Error>
inline  ::capnp::ReaderFor<Success> Result<Success, Error>::Reader::getSuccess() const {
  KJ_IREQUIRE(which() == Result<Success, Error>::SUCCESS,
              "Must check which() before get()ing a union member.");
  return ::capnp::_::PointerHelpers<Success>::get(
      _reader.getPointerField(0 * ::capnp::POINTERS));
}

我真的不明白为什么g ++不接受这个......

我使用capnproto 0.5.3（首先在0.5.2中遇到此问题，然后更新以查看是否有帮助）和g ++ 4.9.2。

Answer 1

这个答案的其余部分已经过时了。自capnp版本0.6.0以来不应再出现此问题。

就在我写完问题的时候，我也想用clang来测试它，它实际上让我找到了错误。我仍然选择发布问题，因为我已经写完了。问题是KJ_IREQUIRE是一个宏，并且由于宏是预处理器处理的东西，它们的语义非常难看。 Result的模板参数中的逗号被解释为宏的参数分隔符，导致g ++中的这个真正无用的错误消息，但是在clang中更好。

要解决此问题，您可以在KJ_IREQUIRE的参数周围添加另一组括号。我希望这些文档可以帮助别人！

Cap'n proto生成的c ++源代码无法编译

1 个答案: