Добрый день. Есть у кого мысли, почему в Rust понадобилось

Question

Добрый день. Есть у кого мысли, почему в Rust понадобилось

заводить ключевое слово const, для функций, которые могут быть использованы для вычисления констант времени компиляции? Ведь компилятор мог бы сам по телу функции "понимать" можно ли ее использовать в const выражении или нет?
Или тут вопрос в более явной семантике?

#backend #embedded #programming #russian #rust

0

26.05.2021

7 ответов

11 просмотров

ozkriff🇺🇦 Lesnikóv

rfc и его обсуждение смотрел? https://rust-lang.github.io/rfcs/0911-const-fn.html

0

26.05.2021

Dmitry Khominich Автор вопроса

ozkriff🇺🇦 Lesnikóv
rfc и его обсуждение смотрел? https://rust-lang.gi...

Нет, спасибо за ссылку.

0

26.05.2021

Jøhn Đøꝩsøn

const fn это гарантия того что функцию можно выполнить при компиляции.

0

26.05.2021

Dmitry Khominich Автор вопроса

Jøhn Đøꝩsøn
const fn это гарантия того что функцию можно выпол...

как вариант такую же гарантию можно было бы обеспечить static_assert'ом. Я боюсь, если const функции будут развиваться туда же, куда и constexpr функции в C++ (там уже аллокаторы времени компиляции завезли в C++20), то легче будет найти фукнции, которые НЕ являются const. Придется везде лепить слово const..

0

26.05.2021

Alexander Karaev

const (или constexpr из C++) - часть публичного API. Если он будет выводиться автоматически, то любые изменения реализации могут случайно поменять публичный API (причем рекурсивно по всем зависимостям).

0

26.05.2021

Dmitry Khominich Автор вопроса

Alexander Karaev
const (или constexpr из C++) - часть публичного A...

Это хороший аргумент!

0

26.05.2021

Mikail Bagishov · Accepted Answer

Mikail Bagishov

Если ты ставишь кейворд const, то это еще и гарантия пользователям твоего кода - они могут опираться, что функция и в будущем будет константной.

0

26.05.2021

172 похожих чатов

Добрый день. Есть у кого мысли, почему в Rust понадобилось

7 ответов

Похожие вопросы