A
Size: a a a
2020 October 16
АК
всё ещё не понятно, зачем через шаблон это пытаться протащить, а не через параметр конструктора
очень даже понятно
DP
очень даже понятно
и что конкретно понятно?
АК
да, и в моём режиме 2а/с++latest это тоже не компилится
в C++2a/20 оно компилится не потому что внезапно стало можно передавать литералы, а потому что используют хаки https://t.me/ProCxx/402524
A
всё ещё не понятно, зачем через шаблон это пытаться протащить, а не через параметр конструктора
ну потому что этот класс, в свою очередь, передаётся дальше уже как шаблонный параметр-тип
АК
и что конкретно понятно?
вот смотри, ты ведь передаёшь в
для массива это нужно, так как число
вот иногда строка должна быть свойством типа, "вшита" в него, чтобы работать с ней на уровне типов
std::array<T, N> целое число в параметр шаблона зачем-то, а не в конструктор, верно?для массива это нужно, так как число
N - это не свойство объекта, а свойство типа. (то, что это число определяет layout типа - просто следствие)вот иногда строка должна быть свойством типа, "вшита" в него, чтобы работать с ней на уровне типов
АК
мой любимый пример:
Property<int, "a"> a;AF
"a" поди нельзя из-за того чтобы не делать их в стандарте inline
АК
шаблонные параметры класса можно рассматривать как аргументы к конструктору класса (не объекта)
DP
в C++2a/20 оно компилится не потому что внезапно стало можно передавать литералы, а потому что используют хаки https://t.me/ProCxx/402524
которые не работают в кланге видимо)
АК
которые не работают в кланге видимо)
да он никак не может осилить:
argument deduction not allowed in template parameterАК
можно посмотреть, как решили проблему здесь: https://github.com/hanickadot/compile-time-regular-expressions
- clang 6.0+ (template UDL, C++17 syntax)
- xcode clang 10.0+ (template UDL, C++17 syntax)
- gcc 7.4+ (template UDL, C++17 syntax)
- gcc 9.0+ (C++17 & C++20 cNTTP syntax)
- MSVC 15.8.8+ (C++17 syntax only) (semi-supported, I don't have windows machine)
- clang 6.0+ (template UDL, C++17 syntax)
- xcode clang 10.0+ (template UDL, C++17 syntax)
- gcc 7.4+ (template UDL, C++17 syntax)
- gcc 9.0+ (C++17 & C++20 cNTTP syntax)
- MSVC 15.8.8+ (C++17 syntax only) (semi-supported, I don't have windows machine)
PS
вот смотри, ты ведь передаёшь в
для массива это нужно, так как число
вот иногда строка должна быть свойством типа, "вшита" в него, чтобы работать с ней на уровне типов
std::array<T, N> целое число в параметр шаблона зачем-то, а не в конструктор, верно?для массива это нужно, так как число
N - это не свойство объекта, а свойство типа. (то, что это число определяет layout типа - просто следствие)вот иногда строка должна быть свойством типа, "вшита" в него, чтобы работать с ней на уровне типов
> мой любимый пример: Property<int, "a"> a; Здесь а - это имя свойства?
AF
да он никак не может осилить:
argument deduction not allowed in template parameterа в стандарте как?
АК
Pavel Samolysov
> мой любимый пример: Property<int, "a"> a; Здесь а - это имя свойства?
да.
хотя это скорее пример того, где удобно использовать строки в параметрах шаблона, но не лучший аргумент в пользу "параметризации" типа
хотя это скорее пример того, где удобно использовать строки в параметрах шаблона, но не лучший аргумент в пользу "параметризации" типа
PS
Че-то с ходу тоже примеры где надо строку вшивать в тип на ум не приходят. С числом понятнее, всякие small_vector и т.д.
МВ
Pavel Samolysov
Че-то с ходу тоже примеры где надо строку вшивать в тип на ум не приходят. С числом понятнее, всякие small_vector и т.д.
генерация каких-нибудь запросов в ct
АК
Pavel Samolysov
Че-то с ходу тоже примеры где надо строку вшивать в тип на ум не приходят. С числом понятнее, всякие small_vector и т.д.
например, ты на типах описываешь схему таблицы в БД - если имена таблиц/полей и прочего будут вшиты в тип, ты сможешь на стадии компиляции валидировать, что пользователь не дурак.
не
не
select("field") с рантайм эксепшеном, а select<"field">() с компайл-тайм ошибкой, если "field" не существуетМВ
а можно еще UDA из D стянуть ? ^^
D
например, ты на типах описываешь схему таблицы в БД - если имена таблиц/полей и прочего будут вшиты в тип, ты сможешь на стадии компиляции валидировать, что пользователь не дурак.
не
не
select("field") с рантайм эксепшеном, а select<"field">() с компайл-тайм ошибкой, если "field" не существуетА как компайл-таймово ходить в БД?)