Discussion :

[camboui]

Bonjour et bonne année à tous

Voici un code qui ne compile plus après une mise à jour récente de Visual Studio 2017.

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
template<typename T>
struct A
{
	typedef int int_type;
};
 
template<typename T>
struct B : A<T>
{
	void foo(int_type)
	{}
};

Le type int_type de la classe de base A n'est plus hérité par B.
Normal ? Bug ?
Merci

[camboui]

Je me réponds à moi-même

Il semble que l'erreur soit normal, et que le compilateur C++ de microsoft était trop permissif.
Jusqu'à récemment... Ça ne m'arrange pas

Une solution sans devoir revoir 20 ans de code avec du vulgaire copier-coller des types de base vers toutes les classes héritées ?
C'est une verbosité qui me parait inutile, et source d'erreur à chaque copier-coller.
D'ailleurs, c'est (c'était ?) une technique répandue et bien pratique avec les types first_argument_type, etc, définis dans les structures binary_function, unary_function, etc (disparues avec C++17, je sais).

[Bousk]

Je vois 2 options
- ajouter using A<T>::int_type; dans la classe dérivée
- précéder int_type de template pour aider le compilateur
> pas sur que ceci marche

Ton code reposait sur un détail d'implémentation du compilateur pour fonctionner, sur son laxisme, tu le payes maintenant.