C++: & (std :: cout) в качестве аргумента шаблона

Question

Почему в качестве аргумента шаблона нельзя передать адрес std::cout? Или, если это возможно, то как?

Вот что я пробовал:

#include <iostream> 

template<std::ostream* stream> 
class MyClass 
{ 
public: 
    void disp(void) 
     { (*stream) << "hello"; } 
}; 

int main(void) 
{ 
    MyClass<&(std::cout)> MyObj; 
    MyObj.disp(); 

    return 0; 
} 

И сообщение об ошибке я получил от clang++ -std=c++11:

main.cpp:15:11: error: non-type template argument does not refer to any declaration 
     MyClass<&(std::cout)> MyObj; 
       ^~~~~~~~~~~ 
main.cpp:6:24: note: template parameter is declared here 
template<std::ostream* stream> 
        ^
1 error generated. 

и от g++ -std=c++11:

main.cpp: In function ‘int main()’: 
main.cpp:15:22: error: template argument 1 is invalid 
    MyClass<&(std::cout)> MyObj; 
        ^
main.cpp:15:29: error: invalid type in declaration before ‘;’ token 
    MyClass<&(std::cout)> MyObj; 
          ^
main.cpp:16:8: error: request for member ‘disp’ in ‘MyObj’, which is of  non-class type ‘int’ 
    MyObj.disp(); 
     ^

Любые идеи?

Answer 1

Это исправляет код, опустить скобки:

#include <iostream> 

template<std::ostream* stream> 
class MyClass 
{ 
public: 
    void disp(void) { 
     (*stream) << "hello"; 
    } 
}; 

int main(void) 
{ 
    MyClass<&std::cout> MyObj; 
    MyObj.disp(); 

    return 0; 
} 

Live Demo

---

Более подробное объяснение, почему можно найти здесь:

Error with address of parenthesized member function

Answer 2

Перед C + +17 удалено это ограничение, синтаксическая форма аргумент шаблона для параметра указателя или ссылочного шаблона был ограничен. N4140 [temp.arg.nontype] /1.3 говорит, что он должен быть

выражается (игнорируя круглые скобки), как &Ид выражение, где ID выражения этого имя объекта или функций , за исключением того, & может быть опущено, если имя относится к функции или массиву и должны быть опущены, если соответствующий шаблон-параметр представляет собой опорного

(std::cout) не является идентификатором . Это первичное выражение.

Часть «(без учета скобок)» была добавлена ​​Core issue 773 и, по-видимому, предназначена для разрешения (&i), а не &(i).