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.
Wygląda na to, że może to być błąd. Ten problem został niedawno otwarty i pojawiło się kilka innych raportów.
—
alteredinstance
@alteredinstance Nie rozumiem, w jaki sposób ten problem odnosi się do tego pytania ani jak działa twój poprzedni link. Czy właśnie skopiowałeś pierwszy link podany przez Google dla tego komunikatu o błędzie? Komunikat o błędzie jest bardzo ogólny i może pojawić się w wielu różnych (uzasadnionych) sytuacjach.
—
orzech
@walnut Wiersz 231 kodu wymienionego w numerze ma niedziałający link do problemu MSVC z agregacją inicjalizacji, to samo robi kod OP. Tak się składa, że biblioteka rozszerzeń napotkała ostatnio podobny problem z używaniem
—
alteredinstance
valuew typie agregacyjnym z MSVC
oraz nowy raport o błędzie: developercommunity.visualstudio.com/content/problem/871304/…
—
marcinj
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ę.