初始化列表中缺少BOOST_THROW_EXCEPTION三元运算符的解决方法

workarounds for BOOST_THROW_EXCEPTION's missing ternary operator in initialization lists

本文关键字：三元 运算符 方法 解决 EXCEPTION 列表 BOOST 初始化 THROW      更新时间：2023-10-16

我经常使用抛出异常的三元格式，这可能看起来有点奇怪，但在初始化列表中节省了时间(因此有助于编写声音构造函数，因此有助于RAII，…)。例如，如果参数a是我们想要的非nullptr的smart_ptr<>，那么我可以初始化一个成员，如

member(a ? a->get_something() : throw exception())

我认为这是一个有效的，合法的&安全使用(如果不安全请告诉我)。

我最近切换到boost::exception，不幸的是condition ? ret_value : BOOST_THROW_EXCEPTION(exception())不编译(因为编译器不能具体化typeof(ret_value)和void)。

有没有比创建一个全新的私有静态方法并在里面放一个if更好的解决方案?

这在c++中是完全有效的，但是许多编译器不会将BOOST_THROW_EXCEPTION视为throw表达式，而只是普通的void类型表达式。由于标准要求void类型表达式要么是throw表达式，要么两个分支都是void类型，编译器拒绝三元表达式。

典型的解决方法是使用逗号操作符: 
condition ? ret_value : (BOOST_THROW_EXCEPTION(exception()), decltype(ret_value){})

当然，您可以用任何正确类型的表达式替换逗号后面的部分，并且可以确定它不会被使用。

我认为这是一个有效的，合法的&安全使用(如果不安全请告诉我)。

在我看来并非如此。你不能也不应该为任何蹩脚的论点辩护。因为如果要这样做，就必须检查所有内容。任何size_t函数参数都必须检查它是否包含一个合理的值。任何char*都必须检查它是否为NULL，如果不是，则必须检查它是否为零分隔。你必须在你的类和函数中应用成千上万的检查，以检查不太可能发生但在某些奇怪的情况下可能发生的事情。

考虑std::strlen和std::string::string(char const*):它们都要求实参是指向以空结尾的字符串的非空指针。没有应用检查，如果传递NULL，则得到UB。

在许多情况下，函数保证返回非空指针。如果将这样的结果传递给构造函数(或strlen)，那么额外的检查就是浪费时间和编程精力。简而言之:不要测试空指针，而只要求非空指针。传递正确的参数是客户端的责任，因为只有客户端代码知道是否需要检查空指针，并且无论如何都必须处理空指针的情况，要么在调用前检查，要么捕获异常。
相关文章：