https://slinkov.ru/openforum/vsluhforumID9/7771.html У Страуструпа в его книге "язык программирования с++" есть такие слова (в главе о функциях):<br>Разрешение преобразования для аргумента (функции) типа const T& обеспечивает гарантию того, что аргументу будет присвоен тот же набор значений, что и аргументу типа T.<br>Так что - тип "ссылка на постоянный объект" законно может быть приведена к типу "ссылка на объект"?<br> https://slinkov.ru/openforum/vsluhforumID9/7771.html#7 Fri, 19 Dec 2008 07:56:33 GMT &gt;дык вот почему здесь double можно преобразовывать в const float& , когда double во float& нельзя? Почему нельзя - я понял. Но почему по той же причине не запрещено преобразование дабла в ссылку на постоянный флоат? <br><br>Первое нельзя, потому что у нас есть double и мы хотим передать в функцию ссылку на него как ссылку на float. Функция по этой ссылке что-нибудь запишет и что мы получим?<br>А во втором случае ссылка константная, поэтому функция туда ничего писать не будет. Мы можем создать временный float, присвоить ему значение нашего double и передать в функцию ссылку на float.<br> https://slinkov.ru/openforum/vsluhforumID9/7771.html#6 Tue, 16 Dec 2008 15:54:30 GMT <br>&gt;можно ли изменять временный объект? :) <br><br>можно ответить "да", а можно и "нет". <br> https://slinkov.ru/openforum/vsluhforumID9/7771.html#5 Tue, 16 Dec 2008 15:23:54 GMT &gt;[оверквотинг удален]<br>&gt;&gt;&gt;float qrt(const float&); <br>&gt;&gt;&gt;void g(double d){ <br>&gt;&gt;&gt;qrt(d); //а так можно - почему? <br>&gt;&gt;<br>&gt;&gt;причина в преобразовании типов :) <br>&gt;<br>&gt;дык вот почему здесь double можно преобразовывать в const float& , когда <br>&gt;double во float& <br>&gt; нельзя? Почему нельзя - я понял. Но почему по той же <br>&gt;причине не запрещено преобразование дабла в ссылку на постоянный флоат? <br><br>можно ли изменять временный объект? :)<br> https://slinkov.ru/openforum/vsluhforumID9/7771.html#4 Tue, 16 Dec 2008 13:53:24 GMT &gt;&gt;void update(float& i); <br>&gt;&gt;void g(double d){ <br>&gt;&gt;update(d); //ошибка. И только потому, что это не то что хотел программист.<br>&gt;&gt;но: <br>&gt;&gt;float qrt(const float&); <br>&gt;&gt;void g(double d){ <br>&gt;&gt;qrt(d); //а так можно - почему? <br>&gt;<br>&gt;причина в преобразовании типов :) <br><br>дык вот почему здесь double можно преобразовывать в const float& , когда double во float&<br> нельзя? Почему нельзя - я понял. Но почему по той же причине не запрещено преобразование дабла в ссылку на постоянный флоат?<br> https://slinkov.ru/openforum/vsluhforumID9/7771.html#3 Tue, 16 Dec 2008 13:44:12 GMT &gt;void update(float& i); <br>&gt;void g(double d){ <br>&gt;update(d); //ошибка. И только потому, что это не то что хотел программист.<br>&gt;но: <br>&gt;float qrt(const float&); <br>&gt;void g(double d){ <br>&gt;qrt(d); //а так можно - почему? <br><br>причина в преобразовании типов :)<br> https://slinkov.ru/openforum/vsluhforumID9/7771.html#2 Tue, 16 Dec 2008 13:37:57 GMT &gt;&gt;Так что - тип "ссылка на постоянный объект" законно может быть приведена к типу "ссылка на объект"? <br>&gt;<br>&gt;Цитата довольно заковыристая... На самом деле, при вызове функции const T& и <br>&gt;T автоматически приводятся друг к другу. <br><br>Cогласен - заковыристая. И у Струструпа таких мест много. И хотя в некоторых местах можно разобраться по прилагаемым примерам, то тут непонятно. Это находится в главе "функции", часть "передача аргументов":<br><br>void update(float& i);<br>void g(double d){<br>update(d); //ошибка. И только потому, что это не то что хотел программист. Самим языком //это как бы не запрещено,<br>}<br><br>но:<br>float qrt(const float&);<br>void g(double d){<br>qrt(d); //а так можно - почему?<br>}<br><br>И там же находится вышеприведенная цитата.<br> https://slinkov.ru/openforum/vsluhforumID9/7771.html#1 Sat, 13 Dec 2008 20:34:42 GMT &gt;Так что - тип "ссылка на постоянный объект" законно может быть приведена к типу "ссылка на объект"? <br><br>Цитата довольно заковыристая... На самом деле, при вызове функции const T& и T автоматически приводятся друг к другу. Про T& ничего не было сказано.<br>Например:<br><br>void f(const int &x) { g(x); }<br>void g(int y) { f(y); }<br>int main() { g(42); }<br>