Здравствуйте, alpha21264, Вы писали:

A>У меня написано, что нужно маркировать изменяемые параметры, а не константные.
A>Вот если сделать так, то при этом контроль будет. А хлама будет гораздо меньше.

Это можно сделать только в новом языке забив на совместимость. Например, в Rust-е так и поступили.

Но ведь вы говорите о C++, а в C++ вот так. И вы можете либо забить на наличие const и отгрести приключений, либо принять тот факт, что в C++ через const отмечаются неизменяемые параметры и получать от этого бенефиты.

И что-то мне подсказывает, что на Rust вы просто так не перейдете.