Discussion :

[corrector]

Bon j'ai enfin trouvé un exemple de namespaces anonymes dans des en-têtes dans boost!!!
http://www.boost.org/boost/lambda/core.hpp
https://develop.participatoryculture...d.hpp?rev=5773
et encore d'autre.
Ca as donc bien un intérêt?

Il faudrait le leur demander, à mon avis.

Par contre en reflechissant, ce qui est indéfinie, a mon avis, est d'utiliser une fonction/variable définie dans un namespaces anonymes dans un en-tête

Oui, en gros c'est ça.

C'est assez curieux de définir dans un en-tête des choses qui ne peuvent pas être utilisé dans un autre en-tête.

[corrector]

Pour la question initiale, je pense que Corrector fait référence au point suivant :

Oui, je pensais effectivement à 3.2/5. (Je viens de le relire, dans N2315 : qu'est-ce que c'est long! Je me souvenais plus que c'était aussi indigeste - le coup du constructeur à la fin, c'est hyper-tordu.) (Ceci dit, cette clause pose quand même quelques problèmes.)

Par contre, je ne pensais pas du tout à aller cherche dans le chapitre 14 (parce que je ne pensais aux templates). D'ailleurs, la dernière phrase de 14.6.4.1/7 que tu cites dit exactement la même chose que l'avant-avant-dernière de 3.2/5 que tu coupes : "If D is a template, ... also to dependent names at the point of instantiation (14.6.2)."