Discussion :

[KsassPeuk]

Salut,

Ce matin je me suis penché sur un problème dans un code qu'a reçu un collègue. D'un côté dans un header, on définit un type pour un ensemble de pointeurs fonction qui sont déclarés comme "extern" ce_type. Dans le source, les fonctions sont implémentées et les pointeurs vers ces fonctions sont initialisés. Et clang et g++ n'ont pas le même comportement sur le code en question, clang accepte et g++ râle par ce qu'il considère que les types de matchent pas.

Voici un code minimaliste reproduisant le problème (j'ai omis les headers guards pour la concision) :

Code :

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

1
2
3
4
5
6
//function.hh
#include <type_traits>
 
using my_type = std::add_pointer<void(int)>::type;
 
extern my_type my_function;

Code :

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

1
2
3
4
5
6
//function.cc
#include "function.hh"
 
auto foo(int) {}
 
auto my_function = foo;

Résultat de la compilation avec g++ :

Code :

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

1
2
3
4
5
6
7
$ g++ -c function.cc -std=c++14
function.cc:5:6: error: conflicting declaration ‘auto ma_fonction’
 auto ma_fonction = foo;
      ^
In file included from function.cc:1:0:
function.hh:4:16: note: previous declaration as ‘void (* ma_fonction)(int)’
 extern my_type ma_fonction;

Le plus étrange, c'est que si dans le source on remplace le auto par un decltype, il arrête de grogner :

Code :

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

1
2
3
4
5
#include "function.hh"
 
auto foo(int) {}
 
decltype(foo)* ma_fonction = foo;

Quelqu'un a-t-il une explication à ce phénomène ?
Qui de g++ et de clang est le plus dans son droit d'accepter ou de râler ?

Merci.

[jblecanard]

Salut !

Cela vient du fait que foo est à la fois un nom de fonction et un pointeur de fonction selon le contexte dans lequel il se trouve. A mon avis, gcc applique naïvement l'inférence en interprétant la ligne:

Code :

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

auto my_function = foo;

Comme si c'était :

Code :

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

decltype(foo) my_function = foo;

Ce qui produit la même erreur. D'ailleurs, en écrivant cette ligne dans clang, celà produit également une erreur. Je ne suis pas assez spécialiste de la spec C++ pour être sûr mais je pense que c'est clang qui la respecte le mieux ici.

[KsassPeuk]

Visiblement, c'est un bug ouvert du côté de GCC depuis un moment et il ne concerne pas que les fonctions. Espérons en tout cas que ça finisse par être corrigé.