如何在cpp中编写可以从函数返回的宏

Question

我正在使用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;
}

但我检查了很多次错误，这很乏味，所以我想写一个宏，让我们称之为bail，来缩短它。所以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); }

然而，这个块并没有给我任何价值。请注意，我正在努力避免出现异常。感谢您的帮助！

Answer 1

您想要的东西在可移植C++中是不可能的。如果您使用的是gcc或clang，则可以使用语句expr。我真的建议你不要这样做，但以下是你问的问题的答案：

// 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);          
})