Skip to main content
se añadieron 161 caracteres en el cuerpo
Origen Enlace
Trauma
  • 26.9k
  • 5
  • 42
  • 68

Tengo una clase con una variable-miembro std::optional; esta clase se usará a su vez como argumento de plantilla de otra, por lo que no puedo usar argumentos en su constructor:

#include <optional>

template< int SZ > struct Store {
    Store( ) { value = SZ; }

    std::optional< int > value;
};

Con eso, le puedo asignar un valor inicial al miembro value. Sin problema.

Ahora, necesito soportar también la no-inicialización del miembro value. Pero no encuentro la sintaxis a usar:

template< > struct Store< void > { std::optional< int > value; }

error: type/value mismatch at argument 1 in template parameter list

template< void > struct Store { std::optional< int > value; }

error: ‘void’ is not a valid type for a template non-type parameter
error: template parameter ‘int SZ’ redeclared here

  • ¿ Hay alguna forma de hacer lo que pretendo especializando a partir de Store, o necesito crear una clase no-plantilla distinta para el caso de no-inicializar ?

Observación:

No puedo usar un valor literal como especialización, porque todos los valores de int pueden ser usados como inicialización de value.

Tengo una clase con una variable-miembro std::optional; esta clase se usará a su vez como argumento de plantilla de otra, por lo que no puedo usar argumentos en su constructor:

#include <optional>

template< int SZ > struct Store {
    Store( ) { value = SZ; }

    std::optional< int > value;
};

Con eso, le puedo asignar un valor inicial al miembro value. Sin problema.

Ahora, necesito soportar también la no-inicialización del miembro value. Pero no encuentro la sintaxis a usar:

template< > struct Store< void > { std::optional< int > value; }

error: type/value mismatch at argument 1 in template parameter list

template< void > struct Store { std::optional< int > value; }

error: ‘void’ is not a valid type for a template non-type parameter
error: template parameter ‘int SZ’ redeclared here

  • ¿ Hay alguna forma de hacer lo que pretendo especializando a partir de Store, o necesito crear una clase no-plantilla distinta para el caso de no-inicializar ?

Tengo una clase con una variable-miembro std::optional; esta clase se usará a su vez como argumento de plantilla de otra, por lo que no puedo usar argumentos en su constructor:

#include <optional>

template< int SZ > struct Store {
    Store( ) { value = SZ; }

    std::optional< int > value;
};

Con eso, le puedo asignar un valor inicial al miembro value. Sin problema.

Ahora, necesito soportar también la no-inicialización del miembro value. Pero no encuentro la sintaxis a usar:

template< > struct Store< void > { std::optional< int > value; }

error: type/value mismatch at argument 1 in template parameter list

template< void > struct Store { std::optional< int > value; }

error: ‘void’ is not a valid type for a template non-type parameter
error: template parameter ‘int SZ’ redeclared here

  • ¿ Hay alguna forma de hacer lo que pretendo especializando a partir de Store, o necesito crear una clase no-plantilla distinta para el caso de no-inicializar ?

Observación:

No puedo usar un valor literal como especialización, porque todos los valores de int pueden ser usados como inicialización de value.

Origen Enlace
Trauma
  • 26.9k
  • 5
  • 42
  • 68

Especialización void en plantilla de no-tipo

Tengo una clase con una variable-miembro std::optional; esta clase se usará a su vez como argumento de plantilla de otra, por lo que no puedo usar argumentos en su constructor:

#include <optional>

template< int SZ > struct Store {
    Store( ) { value = SZ; }

    std::optional< int > value;
};

Con eso, le puedo asignar un valor inicial al miembro value. Sin problema.

Ahora, necesito soportar también la no-inicialización del miembro value. Pero no encuentro la sintaxis a usar:

template< > struct Store< void > { std::optional< int > value; }

error: type/value mismatch at argument 1 in template parameter list

template< void > struct Store { std::optional< int > value; }

error: ‘void’ is not a valid type for a template non-type parameter
error: template parameter ‘int SZ’ redeclared here

  • ¿ Hay alguna forma de hacer lo que pretendo especializando a partir de Store, o necesito crear una clase no-plantilla distinta para el caso de no-inicializar ?