Poniższy kod kompiluje się z gcc i clang (i wieloma innymi kompilatorami 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};
}
podczas kompilacji z (prawie) najnowszym 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 compiled
Czy to błąd MSVC? Jeśli tak, który termin w standardzie C ++ najlepiej to opisuje?
Jeśli zamienisz część kodu na
template <typename T>
class data {
public:
data(datatype dt) {}
data() : data(to_datatype<T>::value) {}
};
i tak kompiluje się płynnie.
c++
c++11
visual-c++
Chmura
źródło
źródło
std::is_same_v<char, int8_t>
. Domyślam się, że jest to implementacja zdefiniowana, czy int8_t jest taki sam jak char, ale trzeba by sprawdzić dokumentację.value
w typie agregacyjnym z MSVCOdpowiedzi:
Powiedziałbym, że MSVC myli się, nie akceptując kodu.
Zgodnie z [dcl.fct.default] / 5 standardowej wersji roboczej C ++ 17 wyszukiwanie nazw w domyślnych argumentach funkcji składowej szablonu klasy odbywa się zgodnie z regułami w [temp.inst].
Zgodnie z [temp.inst] / 2 domyślna instancja szablonu klasy nie powoduje wystąpienia domyślnych argumentów funkcji składowych, a według [temp.inst] / 4 domyślny argument funkcji składowej (nieprecyzyjna specjalizacja a) szablon klasy jest tworzony, gdy jest używany przez wywołanie.
Nie ma wywołania używającego domyślnego argumentu
to_datatype<T>::value
w kodzie, dlatego nie należy go tworzyć. Dlatego nie powinno być błędu dotyczącego wyszukiwaniavalue
wto_datatype<char>
przypadku niepowodzenia.(Odpowiednie sekcje w końcowym projekcie standardu C ++ 11 mają równoważne brzmienie, z wyjątkiem numeracji, patrz [decl.fct.default] / 5 , [temp.inst] / 1 i [temp.inst] / 3. )
źródło