В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

rust_offtopic

413 membersпожаловаться на группу
2020 August 05

KR

Kai Ren in rust_offtopic
Переслано от Roman na
и оно всё там инстанцируется, тайпчекается само. requires сериализует эти результаты в bool
источник
16:57пожаловаться#1

KR

Kai Ren in rust_offtopic
Переслано от Roman na
и если в скриптухе эти "ограничения" нужны для типизации - в С++ они не нужны для этого
источник
16:57пожаловаться#2

KR

Kai Ren in rust_offtopic
Переслано от Roman na
всё итак работает. Но в С++ есть перегрузка. И именно для этого, в основном, концепты и нужны - они ограничивают полиморфизм у функций
источник
16:57пожаловаться#3

KR

Kai Ren in rust_offtopic
Переслано от Kai Ren
А на каком этапе происходит проверка requires
источник
16:57пожаловаться#4

KR

Kai Ren in rust_offtopic
Переслано от Kai Ren
тайпчек или ещё до него?
источник
16:57пожаловаться#5

KR

Kai Ren in rust_offtopic
Переслано от Roman na
ну там нет как такого "тайпчека". В крестах есть базовый тайпчек, который сишный. Но проще всю стадию компиляцию воспринимать за тайпчек. Ведь что угодно может от чего угодно зависеть
источник
16:57пожаловаться#6

KR

Kai Ren in rust_offtopic
Переслано от Kai Ren
Ну, я с той позиции, что сначала у нас происходит раскрытие шаблонов, а потом тайпчек. Мне вот не совсем понятно в каком месте на этой шкале происходит валидация концепта.
источник
16:57пожаловаться#7

KR

Kai Ren in rust_offtopic
Переслано от Roman na
а по разному. Инстанцирование может зависеть от результата requires, а может и наоборот
источник
16:57пожаловаться#8

KR

Kai Ren in rust_offtopic
Переслано от Kai Ren
Ну да, логично. Там рекурсивность же должна быть, иначе не раскроется просто всё.
источник
16:57пожаловаться#9

KR

Kai Ren in rust_offtopic
Переслано от Roman na
но если мы говорим про concept как предикаты для auto|T - они проверяются до параметризации
источник
16:57пожаловаться#10

KR

Kai Ren in rust_offtopic
Переслано от Roman na
там в крестах есть заморочки с выбором перегрузки. Вызов функции может порождать(условно) множество кандидатов. Некоторые из них могут быть невалидными
источник
16:57пожаловаться#11

KR

Kai Ren in rust_offtopic
Переслано от Roman na
я где-то описывал всё подробно. Лань искать. Если попроще. Для каждого вызова может номинально подходить несколько функций. Вот этот requires(который первый) работает в этот момент. Есть там false - функция убирается из кандидатов, если true остаётся. С концептами тоже самое примерно
источник
16:57пожаловаться#12

KR

Kai Ren in rust_offtopic
Переслано от Roman na
https://godbolt.org/z/M1MrKx - так, наверное, понятнее будет
godbolt.org
Compiler Explorer - C++ (x86-64 gcc (trunk))
struct a {};
struct b {};
struct c {};


auto add(auto x, auto y) -> decltype(x[y]) requires true { }
auto add(auto x, auto y) requires false {}


int main() {
 add(10, 20);
}
источник
16:57пожаловаться#13

KR

Kai Ren in rust_offtopic
Переслано от Roman na
первый кандидат отвалился из-за того, что decltype(x[y]) - не сработало и тип вывести не удалось
источник
16:57пожаловаться#14

KR

Kai Ren in rust_offtopic
Переслано от Roman na
второе откинут потому, что requires false == flase
источник
16:57пожаловаться#15

KR

Kai Ren in rust_offtopic
Переслано от Kai Ren
А если несколько предикатов дают true, есть возможность специфицировать желаемый, и как оно по дефолту подбираться будет?
источник
16:57пожаловаться#16

KR

Kai Ren in rust_offtopic
Переслано от Roman na
ну там есть "подходимость по типу"
источник
16:57пожаловаться#17

KR

Kai Ren in rust_offtopic
Переслано от Roman na
так же там есть зачатки "подходимости по концепту". Типа если один включает в себя другой, то этот другой более общий, а значит имеет меньший приоритет
источник
16:57пожаловаться#18

KR

Kai Ren in rust_offtopic
Переслано от Roman na
но с этим как-то сложно и непонятно на данный момент
источник
16:57пожаловаться#19

KR

Kai Ren in rust_offtopic
Переслано от Roman na
это значит, что более общий тип имеет меньший приоритет
источник
16:57пожаловаться#20