231(1): デフォルトの名無しさん (ﾜｯﾁｮｲ ffcf-HxQs) [sage] 2024/02/10(土) 18:55:23.41 ID:0f3gz8pL0(1/3) AAS
>>229
>例外が飛んでこないことを確認するのテストケースがm個のオーダーで要るだけ……

いったい何をテストしようとしているんだろうか。
仮に「例外が飛んでこないことを確認するテスト」なるものができたとして、catchしたらそれができなくなるのか？

前半のよくわからない計算はcatch句を書いたらそのC0網羅のためのテストケースが必要になるとかいうことなんだろうか。

183(6): デフォルトの名無しさん (ﾜｯﾁｮｲ 6d63-H5uA) [sage] 2024/01/28(日) 12:13:11.85 ID:W0uCnQb30(3/4) AAS
>>182
>catchしようがしまいが、例外が起きて 処理A→B→return となるのは同じだと思うが。
それは問題の認識がおかいし
例えば以下のコードにおいて、スレッドのゾンビを生じさせないためにはfuncB()をtry { } catch () { } は必須になる。
　void bar() {
　　funcA();　　// スレッドxを起動
　　funcB();　　// 中でbaz() → foo()の呼び出し
　　funcC();　　// スレッドxに停止シグナル発酵
　　funcD();　　// スレッドxの終了待ち
　　return;
}
このように一般に例外が飛んでくる関数にはcatchするかしないかの選択権など無い
例外安全なオブジェクト「だけ」で事が済んでいない限り、例外を受けると決めた時点でcatchせねばならない

一方、例外を生じないライブラリの使い方（関数の呼び出し方）を心掛けるかどうか。これなら選択肢がある

414(1): デフォルトの名無しさん (ﾜｯﾁｮｲ 7f78-/FHh) [] 2024/08/24(土) 14:40:14.03 ID:yYuYqoCz0(5/6) AAS
いろいろとありがとうございます。参考になりました。
template<class T, class U> void f(T& x, U& y)
{
if constexpr ( !(std::is_same<T,double>::value &&
std::is_same<U, std::complex<T>>::value) ) static_assert(false,"ワシャ許さんぞ!!");
y=x;
}
template <class T, class U> void g(T& x, U& y)
{
static_assert( (std::is_same<T,double>::value && std::is_same<U, std::complex<T>>::v
alue),"ワシャ許さんぞ!!" );
y=x;
}
int main()
{
using namespace std;
double x=3.14159265358979;
complex<double> z;
f(x,z);
g(z,x); //　順番変えたり、ｘをfloatにするとエラー
cout<<z<<endl;
しかし、コンパイル時にifがつかえるんですねえ。凄いな、constexpr

418(1): デフォルトの名無しさん (ﾜｯﾁｮｲ ff67-kHtd) [sage] 2024/08/24(土) 18:35:31.16 ID:BJpt+Mj00(1) AAS
>>412
これかなり新しめのコンパイラじゃないと動かないので注意