Discussion :

[Kalith]

J'ai un mal fou à trouver un titre correct pour ce sujet...
J'étais venu avec une question, et en la rédigeant j'ai fini par trouver la bonne syntaxe, je suppose que ça serait pas mal de l'ajouter à la FAQ.

Quand on a un type membre d'une classe, il est nécessaire dans un contexte template de préfixer ce type du mot clé typename pour indiquer au compilateur qu'on attend bien un type (cf. FAQ: A quoi sert le mot-clé typename ?) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
#include <iostream>
#include <typeinfo>
 
struct test {
    // 'type' est un type simple
    using type = int;
};
 
template<typename T>
void print_type() {
    std::cout << typeid(T).name() << std::endl;
}
 
template<typename T>
void print() {
    // print_type<T::type>();
    // ^ ne compile pas, il faut ajouter 'typename'
    //         v~~~~~~~
    print_type<typename T::type>();
}
 
int main() {
    print<test>();
    return 0;
}

En revanche, dans le cas d'un type membre template, la syntaxe est différente :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <iostream>
#include <typeinfo>
 
struct test {
    // 'type' est un type template
    template<typename T>
    struct type {};
};
 
template<template<typename> class T>
void print_type() {
    std::cout << typeid(T<int>).name() << std::endl;
}
 
template<typename T>
void print() {
    // print_type<T::type>();
    // ^ ne compile pas, il faut ajouter 'template'
    //            v~~~~~~~
    print_type<T::template type>();
}

[Davidbrcz]

C'est vrai qu'une entre dans la FAQ serait bien pour la syntaxe.
Car la raison est la même que pour typename. Le compilo n'a pas moyen de savoir que type est bien bien une classe template et non un type classique.

C'est d'ailleurs sa première supposition puisque g++ me sort pour print_type<T::type>();

prog.cpp:17:26: error: dependent-name ‘T:: type’ is parsed as a non-type, but instantiation yields a type
note: say ‘typename T:: type’ if a type is meant

Edit : Une proposition pour la FAQ est lancée