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

вот аналог такого на Rust. Текущий пример не компилится при передаче в constexpr функцию значения меньше 0. При меньше 10 возвращает это же значение, от - его квадрат

#include <iostream>

template <int N>
constexpr int CTFunction()
{
    static_assert (N > 0, "the parameter is nagative, blyat!");

    if constexpr (N >= 10)
    {
        return N * N;
    }
    else
    {
        return N;
    }
}

int main()
{
    constexpr auto result = CTFunction<-4>();
    std::cout << result << std::endl;
    return 0;
}

источник

10:07пожаловаться #5

Dollar Føølish in rust_offtopic

Блин , я тебя понял теперь

источник

10:08пожаловаться #6

Dollar Føølish in rust_offtopic

Ct контракты это контракты для consteval контекста

источник

10:09пожаловаться #7

Dollar Føølish in rust_offtopic

Да,такого в Раст нет в виде отдельного понятия. Но есть const fn

источник

10:09пожаловаться #8

Т8

Т-34 85 in rust_offtopic

Dollar Føølish

Я бы ожидал что хорошую систему контрактов можно построить на идрисе или АТС. Рантаймовую,например на зависимых типах.
Как это сделать в бестиповом языке типа с++ я не знаю

обрати внимания, ты туда должен передать int, а не любую хуйню

источник

10:09пожаловаться #9

Т8

Т-34 85 in rust_offtopic

Dollar Føølish

Да,такого в Раст нет в виде отдельного понятия. Но есть const fn

а что const fn может? Вот такое можно написать?

источник

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

Dollar Føølish in rust_offtopic

В шаблнах нет преобразований при дедукции типа, это тоже верно