[C++] Typo template come parametro di una funzione con argomento array

[biowep]

Salve, ho trovato in giro questa classe molto interessante ma non capisco la dichiarazione del costruttore:

class str_const { // constexpr string
private:
	const char* const p_;
	const std::size_t sz_;
public:
	template<std::size_t N>
	constexpr str_const(const char (&a)[N]) : // ctor
			p_(a), sz_(N - 1) {
	}
	constexpr char operator[](std::size_t n) { // []
		return n < sz_ ? p_[n] : throw std::out_of_range("");
	}
	constexpr std::size_t size() {
		return sz_;
	} // size()
};

Si tratta di una classe in grado di gestire stringhe literal type.

Quello che volevo sapere è il significato di:

template<std::size_t N>
constexpr str_const(const char (&a)[N]) {}

Non capisco né il template ne l'argomento della funzione.

[WarDuck]

In soldoni in C una stringa è un'array di char... MA c'è un ma...

void main(void)
{
    char stringa1[] = "pippo";

    char* stringa2 = "pippo";

    printf("Length: %u\n", sizeof(stringa1));  // stampa 6 (la lunghezza di pippo + terminatore)

    printf("Length: %u\n", sizeof(stringa1));  // stampa 4 o 8 (la dimensione di un ptr a 32 o 64 bit)

    return 0;
}

Penso che quel costruttore sia in grado di accettare solo stringhe dichiarate nel primo modo in maniera da riconoscere la dimensione a tempo di compilazione.

Dimensione che il compilatore usa come parametro implicito per costruire una funzione "concreta" a partire dal template.

(In pratica puoi omettere la variabile template quando chiami il costruttore perché viene "inferita" dal parametro)

C'è da dire che è la prima volta che vedo:

... funzione( tipo (&a)[N] )

Se usi a[N] anziché (&a)[N] mi sa che non funziona...

C/C++ riescono sempre a sorprendere .

[biowep]

Sizeof di un array, avevo scoperto anche io che funzionava correttamente quando studiavo il C. Il C però non gestisce la dimensione dell'array (così mi hanno insegnato), per cui devo salvarla da qualche parte come costante. Ciò che volevo sapere é se posso usare questo trick. Se é una caratteristica standard del C/C++ o se dipende dal compilatore che uso.

Ho letto che l'argomento é una reference ad un array di char di dimensione N. Credo che in C++ si possa specificare la dimensione dell'array a cui si fa riferimento e quindi si commette un errore se si lega la variabile refetence ad un array di dimensione diversa. Non l'ho ancora verificato però.