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
.