Телеграмм чат группы rust_offtopic страница 16569

Kai Ren

Поинт в том, что не вся альтернативщина - обязательно плоскоземельщина

Практически всегда

16:52пожаловаться #1

AZ

Alex Zhukovsky in rust_offtopic

Alexander Krivitskiy

Так куда лучше уже? У тебя в шаблоне написано, что у типа T должен быть метод ToString(). Ты же не прописывешь что ToString должен быть из какого-то конкретного интерфейса. Тебе компилятор говорит, что у int нет такого метода. Чего ещё надо?

правильный вопрос был: если шаблоны так гениальны то зачем нужны концепты7

16:52пожаловаться #2

p

Alexander Krivitskiy

Так куда лучше уже? У тебя в шаблоне написано, что у типа T должен быть метод ToString(). Ты же не прописывешь что ToString должен быть из какого-то конкретного интерфейса. Тебе компилятор говорит, что у int нет такого метода. Чего ещё надо?

Если бы так было!

16:53пожаловаться #3

p

И если бы оно проверялось до мономорфизации

16:53пожаловаться #4

AZ

Alex Zhukovsky in rust_offtopic

Alexander Krivitskiy

Так куда лучше уже? У тебя в шаблоне написано, что у типа T должен быть метод ToString(). Ты же не прописывешь что ToString должен быть из какого-то конкретного интерфейса. Тебе компилятор говорит, что у int нет такого метода. Чего ещё надо?

обычно ToString не висит в воздухе а приходит из какого-то интерфейса. Поэтому я и говорю, что за утинуют ипизацию развели. "Мне не важно откуда этот метод возьмется лишь бы у него была такая сигнатура"

16:53пожаловаться #5

KR

Alex Zhukovsky

правильный вопрос был: если шаблоны так гениальны то зачем нужны концепты7

кек, заставляешь меня быть не "адвокатом дьявола", но "адвокатом царя"

16:54пожаловаться #6

KR

ща форвардну его обьяснения

16:54пожаловаться #7

p

Alex Zhukovsky

обычно ToString не висит в воздухе а приходит из какого-то интерфейса. Поэтому я и говорю, что за утинуют ипизацию развели. "Мне не важно откуда этот метод возьмется лишь бы у него была такая сигнатура"

Ну это норм, если оно проверяется до мономорфизации

16:55пожаловаться #8

p

И выражается в сигнатуре

16:55пожаловаться #9

AK

Alexander Krivitskiy in rust_offtopic

Alex Zhukovsky

правильный вопрос был: если шаблоны так гениальны то зачем нужны концепты7

Раньше баунды гордились static_assertами и макросами, теперь у них есть нативный саппорт в языке. Как try! и ? в расте. Правда тут try! все сами велосипедят.

16:56пожаловаться #10

KR

Переслано от Kai Ren

Чем, кстати концепты концептуально (лёль) отличаются от трейт баундов?

16:57пожаловаться #11

KR

Переслано от Roman na

ну первое и фундаментальное отличие - это ограничения. Именно ограничения. Т.е. они, условно, пропускают только типы с необходимыми свойствами. Но остальные свойства не теряются

16:57пожаловаться #12

KR

Переслано от Roman na

inmap auto x = b{};

16:57пожаловаться #13

KR

Переслано от Roman na

здесь тип x будет b

16:57пожаловаться #14

KR

Переслано от Roman na

а не inmap

16:57пожаловаться #15

KR

Переслано от Roman na

inmap<b>, либо ещё какая херня

16:57пожаловаться #16

KR

Переслано от Roman na

если говорить о том, чем requires отличается от интерфейсом дерьма - всё очень просто. Интерфейсы не могут существовать в полиморфном коде

16:57пожаловаться #17

KR

Переслано от Roman na

интерфейс он определяет сигнатуру, которая потом реализуется. Здесь всё наоборот. Сигнатур нет, потому как их попросту невозможно написать и это не имеет смысла.

А проверка производится на уровне - сформирован ли код, либо нет. Ну примерно как во всяких говноидрисах. Сам факт компиляции используется как критерий соответствия

16:57пожаловаться #18

KR

https://godbolt.org/z/hr4TTP

Переслано от Roman na

godbolt.org

Compiler Explorer - C++ (x86-64 gcc (trunk))

struct a {};
struct b {};
struct c {};

void add(auto x, auto y) requires requires { x + y; } {}

int main() {
add(10, 20);
add(a{}, b{});
}

16:57пожаловаться #19

KR

Переслано от Roman na

если проще - они декларативные. Мы пишем то, какой код должен работать.