example - C++: &(std:: cout) como argumento de plantilla

use templates c++

Question

¿Por qué no es posible pasar la dirección de std::cout como argumento de plantilla? O si es posible, ¿cómo?

Esto es lo que intenté:

#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;
}

Y el mensaje de error que recibí de 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.

y de 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();
^

¿Algunas ideas?

Answer 1

Antes de que C ++ 17 eliminara esta restricción, la forma sintáctica de un argumento de plantilla para un puntero o parámetro de plantilla de referencia estaba restringida. N4140 [temp.arg.nontype] /1.3 dice que debe ser

expresado (ignorando paréntesis) como & id-expression , donde id-expression es el nombre de un objeto o función, excepto que & puede omitirse si el nombre se refiere a una función o matriz y debe omitirse si la plantilla correspondiente- parámetro es una referencia

(std::cout) no es una expresión de id . Es una expresión primaria .

La parte "(ignorando paréntesis)" fue agregada por Core issue 773 , y aparentemente está destinada a permitir (&i) , not &(i) .

Answer 2

Esto arregla tu código, omite el paréntesis:

#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;
}

Demo en vivo

Una explicación más detallada de por qué se puede encontrar aquí:

Error con la dirección de la función miembro entre paréntesis