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



我经常使用抛出异常的三元格式,这可能看起来有点奇怪,但在初始化列表中节省了时间(因此有助于编写声音构造函数,因此有助于RAII,…)。例如,如果参数a是我们想要的非nullptrsmart_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::strlenstd::string::string(char const*):它们都要求实参是指向以空结尾的字符串的非空指针。没有应用检查,如果传递NULL,则得到UB。

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

相关内容

  • 没有找到相关文章

最新更新