заводить ключевое слово const, для функций, которые могут быть использованы для вычисления констант времени компиляции? Ведь компилятор мог бы сам по телу функции "понимать" можно ли ее использовать в const выражении или нет?
Или тут вопрос в более явной семантике?
Если ты ставишь кейворд const, то это еще и гарантия пользователям твоего кода - они могут опираться, что функция и в будущем будет константной.
rfc и его обсуждение смотрел? https://rust-lang.github.io/rfcs/0911-const-fn.html
Нет, спасибо за ссылку.
const fn это гарантия того что функцию можно выполнить при компиляции.
как вариант такую же гарантию можно было бы обеспечить static_assert'ом. Я боюсь, если const функции будут развиваться туда же, куда и constexpr функции в C++ (там уже аллокаторы времени компиляции завезли в C++20), то легче будет найти фукнции, которые НЕ являются const. Придется везде лепить слово const..
const (или constexpr из C++) - часть публичного API. Если он будет выводиться автоматически, то любые изменения реализации могут случайно поменять публичный API (причем рекурсивно по всем зависимостям).
Это хороший аргумент!
Обсуждают сегодня