我经常使用抛出异常的三元格式,这可能看起来有点奇怪,但在初始化列表中节省了时间(因此有助于编写声音构造函数,因此有助于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
),那么额外的检查就是浪费时间和编程精力。简而言之:不要测试空指针,而只要求非空指针。传递正确的参数是客户端的责任,因为只有客户端代码知道是否需要检查空指针,并且无论如何都必须处理空指针的情况,要么在调用前检查,要么捕获异常。