Вывод аргументов из шаблона класса - clang и gcc отличаются
Следующий код компилируется с помощью gcc, но не с clang:
template<typename T>
class number {
T num;
public:
number(T num = 0): num(num) {}
template<typename T1, typename T2>
friend auto add(T1 a, T2 b);
};
template<typename T1, typename T2>
auto add(T1 a, T2 b) {
// this compiles with both:
// return number<T1>{a}.num + number<T2>{b}.num;
// this compiles only with gcc:
return number{a}.num + number{b}.num; // <== clang is unhappy here
}
int main() {
auto result = add(1.0, 2.0);
}
Ошибки компиляции, предоставляемые clang (версия 10.0.0 с -std= C++20):
error: member reference base type 'number' is not a structure or union
return number{a}.num + number{b}.num;
~~~~~~~~~^~~~
error: member reference base type 'number' is not a structure or union
return number{a}.num + number{b}.num;
~~~~~~~~~^~~~
Какое правильное поведение?
1 ответ
Как упоминал Барри в комментариях, это была ошибка clang 44468 (и 47870).
Ошибка исправлена. Теперь код компилируется и хорошо работает в транке Clang .