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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

rust_offtopic

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

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);
}
источник
21:01пожаловаться#1

KR

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

KR

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

KR

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

KR

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

KR

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

KR

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

KR

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

KR

Kai Ren in rust_offtopic
Переслано от Kai Ren
Ну, тоесть проблемы специализации, по сути
источник
21:02пожаловаться#9

KR

Kai Ren in rust_offtopic
Переслано от Kai Ren
Когда не понятно какой из них более общий
источник
21:02пожаловаться#10

KR

Kai Ren in rust_offtopic
Переслано от Roman na
ну управления этим процессом действительно нет и это в какой-то мере проблема
источник
21:02пожаловаться#11

KR

Kai Ren in rust_offtopic
Переслано от Roman na
в любом случае это куда мощнее, чем всё что есть в недоязычках
источник
21:02пожаловаться#12

KR

Kai Ren in rust_offtopic
Переслано от Roman na
и общие проблемы проблемами языка/реализации не являются
источник
21:02пожаловаться#13

KR

Kai Ren in rust_offtopic
Переслано от Roman na
в какой-то мере крестам даже концепты не особо нужны. Это просто последствия одного решения
источник
21:02пожаловаться#14

KR

Kai Ren in rust_offtopic
Переслано от Kai Ren
А какая альтернатива выражать то, что они выражают?
источник
21:02пожаловаться#15

KR

Kai Ren in rust_offtopic
Переслано от Kai Ren
Или ты сейчас про принятые в стандарт концепты, а не их эмуляцию?
источник
21:02пожаловаться#16

KR

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

KR

Kai Ren in rust_offtopic
Переслано от Roman na
таким requires и концепты во многих случаях - это просто вынос части тела функции в requires {}
источник
21:02пожаловаться#18

KR

Kai Ren in rust_offtopic
Переслано от Roman na
если бы тела инстанцировались - оно бы всё работало само
источник
21:02пожаловаться#19

KR

Kai Ren in rust_offtopic
Переслано от Roman na
но когда-то было решено этого не делать
источник
21:02пожаловаться#20