Почему я не могу использовать assert с std :: is_same?

Question

Может кто-нибудь объяснить мне, почему на Земле этот фрагмент кода отказывается работать?

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

int main() 
{ 
    assert(is_same<int, int>::value); 
} 

компиляция терпит неудачу, потому что, в соответствии с компилятором:

prog.cpp:7:33: error: macro "assert" passed 2 arguments, but takes just 1 
    assert(is_same<int, int>::value); 
          ^
prog.cpp: In function 'int main()': 
prog.cpp:7:2: error: 'assert' was not declared in this scope 
    assert(is_same<int, int>::value); 
^

Что? is_same<int, int>::value, несомненно, один аргумент. Также assert-, объявленный в этой области, и сам компилятор подтвердил это в предыдущей ошибке!

http://ideone.com/LcMVkn

Answer 1

Макрос разбивает параметр (ы), как это:

is_same<int , int>::value 
// ^^ par1 ^^// ^^ par2 ^^ 

Как assert() является определение макроса (с одним параметром), оно обрабатывается С-препроцессора. Препроцессор не знает синтаксиса C++, как параметры шаблона, закодированные в угловых скобках (<>), разделенных ,. Таким образом, выражение параметра разбивается, как показано выше.

Вы можете избежать этого, используя дополнительные круглые скобки, так что C-препроцессор будет принимать этот параметр в целом:

assert((is_same<int, int>::value)); 
    //^     ^