アサートでdynamic_castがエラーを引き起こします

Question

私は旧式のVisual Studio 2008を使用しています（「あなたの問題があります」という問題を解決します）。これはVisual Studioの問題です。 http://rextester.com/XKFR77690 これは問題があるようですhttp://ideone.com/bhxMi0

を考えると、これらの構造体：assertマクロで

struct base { virtual ~base() {} }; 

template <typename T> 
struct Foo : base { T foo; }; 

は、私がこれを行うことができます。

base* test = new Foo<pair<int, int>>; 

if(dynamic_cast<Foo<pair<int, int>>*>(test) != NULL) cout << "hello world\n"; 

しかし、ときassertにif -statementであると私はまったく同じコードを使用します。assert(dynamic_cast<Foo<pair<int, int>>*>(test) != NULL)私はエラーを取得する：

warning C4002: too many actual parameters for macro assert
error C2143: syntax error : missing ',' before ')'

ちなみに私はCスタイルのキャストを使用してこの問題を解決することができますassert((Foo<pair<int, int>>*)(test) != NULL)をしかし、私は考えますC-Styleのキャストはstatic_castで、私が欲しくないのはdynamic_castではありません。

Answer 1

assertはマクロです。これは、C++のコンストラクトについて何も知らないプリプロセッサによって処理されます。だから、次のよう

dynamic_cast<Foo<pair<int 

と

int>>*>(test) != NULL 

その関数形式マクロの引数を覚えておいてください：

assert(dynamic_cast<Foo<pair<int, int>>*>(test) != NULL) 

は、この場合には二つの引数を取る関数のようなマクロに展開コンマで区切られています。それはすべてのプリプロセッサが見るものです。したがって、このケースでは、assertが要求する1つの引数の代わりに2つの引数を参照します。

あなたのCスタイルのキャストバージョンは、括弧のためにコンマよりも優先度が高いため、動作します。 dynamic_castの周りにそれらを置くことも仕事を行います。

Answer 2

Yup：マクロは、最上位のカンマを引数セパレータとして扱います。最も簡単な修正は、問題のあるコードの前後に括弧を挿入することです：

あなたが好む場合

assert((dynamic_cast<Foo<pair<int, int>>*>(test)) != NULL) 

や、コンテンツ全体を囲む括弧：

assert((dynamic_cast<Foo<pair<int, int>>*>(test) != NULL)) 

問題のCスタイルのキャストがコンパイル理由がされCスタイルのキャストではなく、テンプレートコードをカッコで囲んでいるので、カンマはもはや最外層にはありません。