Le code suivant se compile avec gcc et clang (et de nombreux autres compilateurs C ++ 11)
#include <stdint.h>
typedef int datatype;
template <typename T>
struct to_datatype {};
template <>
struct to_datatype<int16_t> {
static constexpr datatype value = 1;
};
template <typename T>
class data {
public:
data(datatype dt = to_datatype<T>::value) {}
};
int main() {
data<char> d{to_datatype<int16_t>::value};
}lors de la compilation avec (presque) le dernier MSVC
> cl .\test.cpp /std:c++latest /permissive-
Microsoft (R) C/C++ Optimizing Compiler Version 19.24.28314 for x64
Copyright (C) Microsoft Corporation. All rights reserved.
test.cpp
.\test.cpp(16): error C2039: 'value': is not a member of 'to_datatype<T>'
with
[
T=char
]
.\test.cpp(16): note: see declaration of 'to_datatype<T>'
with
[
T=char
]
.\test.cpp(20): note: see reference to class template instantiation 'data<char>' being compiledEst-ce un bug de MSVC? Si oui, quel terme dans la norme C ++ le décrit le mieux?
Si vous remplacez une partie du code par
template <typename T>
class data {
public:
data(datatype dt) {}
data() : data(to_datatype<T>::value) {}
};il se compile sans problème de toute façon.
Il semble que ce soit en fait un bug. Cette question a été ouverte récemment et il y a eu plusieurs autres rapports.
—
alteredinstance
@alteredinstance Je ne vois pas en quoi ce problème est lié à cette question, ni comment fonctionne votre lien précédent, d'ailleurs. Vous venez de copier le premier lien que Google donne pour ce message d'erreur? Le message d'erreur est très générique et peut apparaître dans de nombreuses situations différentes (légitimes).
—
noyer
@walnut La ligne 231 du code mentionné dans le problème a un lien défunt avec un problème MSVC avec initialisation agrégée, la même chose que le code OP fait. Il se trouve que la bibliothèque boost a récemment rencontré un problème similaire avec l'utilisation
—
MSVC
valuedans un type agrégé avec
et un nouveau rapport de bug: developercommunity.visualstudio.com/content/problem/871304/…
—
marcinj
std::is_same_v<char, int8_t>. Je suppose que c'est l'implémentation définie si int8_t est le même que char, mais il faudrait vérifier la documentation.