DK
если ты почему то предполагаешь что другой конструктор будет работать так же, как первый - ты сам себе стреляешь в ногу
Size: a a a
2021 January 04
DK
работа со строками (не только этот момент) в целом далека от идеала в плюсах, но это просто очередной пункт, который надо учитывать. Если гораздо более страшные вещи, чем этот редко-юзаемый конструктор
AX
если ты почему то предполагаешь что другой конструктор будет работать так же, как первый - ты сам себе стреляешь в ногу
да, это ошибка, надо читать и зубрить стандарт, всё так. я к тому, что эта ошибка может вылезти очень неожиданно, т.к. всего в голове не удержишь.
DK
поэтому я всегда, когда на ревью кода вижу неизвестную мне перегрузку - читаю цппреференс
DK
надеяться на авось нельзя, плюсы такое не прощают конечно
AX
поэтому я всегда, когда на ревью кода вижу неизвестную мне перегрузку - читаю цппреференс
вооот. а я о том, что в шаблонном коде ты её можешь не распарсить. ты ж не компилятор.
DK
вооот. а я о том, что в шаблонном коде ты её можешь не распарсить. ты ж не компилятор.
в смысле не распарсить? Если я увижу код наподобии
то еще как распарсю, тут вызов же конструтора строки
template<typename Str>
void foo(Str&& str) {
std::string copy(str, 5);
}
то еще как распарсю, тут вызов же конструтора строки
d
чо? какой хак?
если найду снова напишу, там типо и в костко можно так платить
DK
в смысле не распарсить? Если я увижу код наподобии
то еще как распарсю, тут вызов же конструтора строки
template<typename Str>
void foo(Str&& str) {
std::string copy(str, 5);
}
то еще как распарсю, тут вызов же конструтора строки
но опять же - за такой код я побью по рукам чисто за непонятный Str. Тут должен быть тогда if constexpr который проверяет строка ли это или констчар* или же выдает static_assert если ничто из этого
AX
в смысле не распарсить? Если я увижу код наподобии
то еще как распарсю, тут вызов же конструтора строки
template<typename Str>
void foo(Str&& str) {
std::string copy(str, 5);
}
то еще как распарсю, тут вызов же конструтора строки
и ты сразу же начнёшь смотреть перегрузки конструктора string для всех типов, вдруг там что-нибудь эдакое в foo передадут? А если класс с operator const char*()?
DK
и ты сразу же начнёшь смотреть перегрузки конструктора string для всех типов, вдруг там что-нибудь эдакое в foo передадут? А если класс с operator const char*()?
когда я ревью темплейтный код, то да, я прикидываю все возвможные варианты и как они себя поведут. Как иначе?
DK
ну и очень важный пункт для любого темплейтного кода - куча юнит тестов для разных типов. Причем в идеале lvalue/rvalue
AX
когда я ревью темплейтный код, то да, я прикидываю все возвможные варианты и как они себя поведут. Как иначе?
это уже из области "когда я вижу набор перегрузок, то прикидываю все варианты, какие и когда выберутся" :) Согласен, правила разрешения перегрузок вполне чётко описаны в стандарте, только вот в уме это не совсем удобно делать бывает (особенно в тех же шаблонах)
AX
ну и очень важный пункт для любого темплейтного кода - куча юнит тестов для разных типов. Причем в идеале lvalue/rvalue
в идеальном мире - да. В амзн вы это делали?
DK
это уже из области "когда я вижу набор перегрузок, то прикидываю все варианты, какие и когда выберутся" :) Согласен, правила разрешения перегрузок вполне чётко описаны в стандарте, только вот в уме это не совсем удобно делать бывает (особенно в тех же шаблонах)
потому что открытые шаблоны зло. Нужно либо концепты (в 20 стандарте), либо искусственно ограничивать типы через enable_if/if constexpr/static_assert и подобные
DK
в идеальном мире - да. В амзн вы это делали?
да, конечно, у меня там на некоторые либы, которые глубоко в ядре системе и как раз сильно шаблонные - было по 1-2к юнит тестов
DK
эта тысяча юниттестов не руками конечно пишется, а генерится через catch2/google test. Они оба умеют в шаблонизированные тесты
AX
потому что открытые шаблоны зло. Нужно либо концепты (в 20 стандарте), либо искусственно ограничивать типы через enable_if/if constexpr/static_assert и подобные
согласен, но в enable_if иногда тоже можно ошибиться. ну там cv забыть снять при проверке, и начнётся...
AX
эта тысяча юниттестов не руками конечно пишется, а генерится через catch2/google test. Они оба умеют в шаблонизированные тесты
👍
DK
согласен, но в enable_if иногда тоже можно ошибиться. ну там cv забыть снять при проверке, и начнётся...
false negative это не страшно