可能であればstatic_assertに展開するアサートマクロ？

Question

メンバー関数の結果に対してアサーションを実行する必要がある汎用コードがあります。このメンバ関数はconstexprであるか、そうでないかもしれません。

template<typename T> 
void foo(T t) { 
    assert(t.member_function() == 10); 
} 

t.member_function()は定数式であるかもしれないので、私はそれがこのような場合にstatic_assertとして扱うことが可能かどう思って、それ以外は通常のassertをデフォルトにしています。これは可能ですか？

Answer 1

これはややクレイジーな解決策です。

Const c; foo(c);行のコメントを外してください。コンパイルされないことがわかります。これはコンパイル時のアサートです。

これはvariable length arraysを必要とし、他のコンパイラ固有のものが必要です。私はg ++上にいます - 4.6。

メンバ関数が10を返すかどうかによって、配列のサイズは0か-1のいずれかになります。コンパイル時にこれを計算できる場合、コンパイルは非可変長配列であることを認識します。それは負のサイズです。負のサイズは、それが文句を言うことができます。それ以外の場合は、従来のアサートになります。

注：ランタイムアサーションが失敗した直後に、ランタイムバージョンでコアダンプが発生します。たぶん、負のサイズの配列をfreeにしようとするのが好きではないかもしれません。アップデート：アサーションの失敗でコアダンプを取得しました。さらにint main() {assert (1==2);}です。これは正常ですか？

#include <iostream> 
#include <cassert> 
using namespace std; 

struct Const { 
     constexpr int member_function() { return 9; } 
}; 
struct Runtime { 
        int member_function() { return 9; } 
}; 

template<typename T> 
void foo(T t) { 
     if(0) { // so it doesn't actually run any code to malloc/free the vla 
      int z[(t.member_function()==10)-1]; // fails at compile-time if necessary 
     } 
     assert(t.member_function()==10); 
} 


int main() { 
     //Const c; foo(c); 
     Runtime r; foo(r); 
}