问题描述
我使用 cpp 变体来指示我的程序中的错误,例如,我有一个这样的函数:
std::variant<Result,Error> do_foo();
std::variant<string,Error> do_bar() {
auto v = do_foo();
if (std::holds_alternative<Error>(v)) {
return std::get<Error>(v);
}
auto r = std::get<Result>(v);
// do some more stuff with r
return some_str;
}
但是我最终检查了很多次错误而且很乏味,所以我想写一个宏,我们称之为保释,来缩短它。所以 do_bar 可能看起来像这样:
std::variant<string,Error> do_bar() {
Result r = bail(do_foo()); // it should return if do_foo() returns an error
// do some more stuff with r
return some_str;
}
虽然不确定如何编写该宏,但这里有一些不起作用的尝试:
#define bail(v) { auto _v = v; \
if (_v.index() == 1) return std::get<1>(_v); \
std::get<0>(_v); }
然而,那个块没有给我任何价值。请注意,我正在努力避免异常。任何帮助表示赞赏!
解决方法
您想要的在可移植 C++ 中是不可能的。如果您使用 gcc 或 clang,则可以使用 statement exprs。我真的建议您不要这样做,但这里是您提出的问题的答案:
// Non-portable--you probably shouldn't do this
#define bail(v) ({ \
auto _v = v; \
if (_v.index() == 1) \
return std::get<1>(_v); \
std::get<0>(_v); \
})