АК
template<typename T>
std::ostream& operator<<(std::ostream& out, const Vector3D<T>& other)
{
out << "x := " << other.x;
}
Size: a a a
2021 July 02
AS
Его значит не нужно описывать, как часть класса vector3d<t>?
F
а что делать когда при символьном считываение с файла char игнорирует пробелы
AS
Сделал так, как ты сказал :
Ошибка :
Ошибка :
Severity Code Description Project File Line Suppression State
Error LNK2019 unresolved external symbol "class std::basic_ostream<char,struct std::char_traits<char> > & __cdecl operator<<(class std::basic_ostream<char,struct std::char_traits<char> > &,struct Vector3D<int> const &)" (??6@YAAEAV?$basic_ostream@DU?$char_traits@D@std@@@std@@AEAV01@AEBU?$Vector3D@H@@@Z) referenced in function main D:\ASGraphic\out\build\x64-Debug\ASGraphic D:\ASGraphic\out\build\x64-Debug\main.cpp.obj 1
АК
В хедере оператор описан внутри класса или вне?
AS
Сигнатура оператора внутри класса
AS
Реализация вне
АК
std::ostream& operator<<(std::ostream& out, const Vector3D<T>& other);Если это внутри класса, не хватает
friendAS
Также написал friend
AS
ostream operator не знает как инстанцировать любой тип шаблона?
AS
Или мне нужно лично каждый тип определить для вывода?
AS
Так как убрав шаблон и написав просто int, на месте <T> он решил работать, а так нет
AS
Всё, проблема исправлена
AS
Додумался до того, чтобы инстанцировать оператор, как шаблон
AS
friend std::ostream& operator<< <T> (std::ostream& out, const Vector3D<T>&);
AS
Боюсь того, что пишет @VoidStar0x0
VD
ДЖ
уснул на клавиатуре
AS
😅
VS
если коротко, то не прав, на мой взгляд
если длинно, то (1) неявная инстанциация определения
* в том, что это возможно при помощи одной лишь декларации без вывода возвращаемого типа, я убедился полнотекстовым поиском
clang же ломается, как я понимаю, где-то между шагами 2 и 3, считая, что перегрузка не может разрешиться в функцию, возвращаемый тип которой не выведен, но он не может его вывести, пока не выберет ее и не инстанцирует определение
пошерстил CWG issues, но ничего не нашел. но там столько, что я вполне мог что-то упустить
меня сбило с толку, что этот шаблон на строке 13 одновременно и member template specialization (temp.expl.spec-15) с точки зрения класса, который для целей инстанциации определения класса является declared specialization (temp.spec#temp.expl.spec-1.9, temp.spec#temp.inst-1), но после нее становится обычным member function template, который требует неявной инстанциации всего.
еще я не нашел, что такое инстанциация, когда не указывается, инстанциация это декларации или же определения. буду рад, если кто-то докажет, что я слепой
если длинно, то (1) неявная инстанциация определения
S<int> ведет к неявной инстанциации декларации шаблона operator[] на строке 13 (temp#inst-3.1). (2) далее вызов a[1] должен разрешиться в пользу декларации, инстанцированной из шаблона на строке 13 (temp#inst-10) (*), (3) что ведет к неявной инстанциации уже определения operator[] из того же шаблона (temp#inst-4), что (4) позволит компилятору вывести возвращаемый тип (dcl.spec.auto#general-12)* в том, что это возможно при помощи одной лишь декларации без вывода возвращаемого типа, я убедился полнотекстовым поиском
return, dedu, definition и placeholder по главе [over]clang же ломается, как я понимаю, где-то между шагами 2 и 3, считая, что перегрузка не может разрешиться в функцию, возвращаемый тип которой не выведен, но он не может его вывести, пока не выберет ее и не инстанцирует определение
пошерстил CWG issues, но ничего не нашел. но там столько, что я вполне мог что-то упустить
меня сбило с толку, что этот шаблон на строке 13 одновременно и member template specialization (temp.expl.spec-15) с точки зрения класса, который для целей инстанциации определения класса является declared specialization (temp.spec#temp.expl.spec-1.9, temp.spec#temp.inst-1), но после нее становится обычным member function template, который требует неявной инстанциации всего.
еще я не нашел, что такое инстанциация, когда не указывается, инстанциация это декларации или же определения. буду рад, если кто-то докажет, что я слепой