Доклад:Система субструктурных типов.


Есть примечание, в котором говорится, что статья, похоже, ограничивается вопросом, разрешены ли псевдонимы. В чем оно противоречит само себе?

Было бы неплохо упомянуть C++11 unique_ptrи переместить сюда ссылки на семантику/rvalue в качестве примера; это лучше, чем auto_ptrпотому, что позволяет больше статической проверки. Jewillco ( разговор ) 22:07, 20 сентября 2012 г. (UTC)Отвечать[ отвечать ]

В разделе «Различные системы субструктурных типов» есть ссылки на каждую из четырех систем субструктурных типов, но все они ссылаются на одну и ту же статью (а именно на эту). Это желательно? КристофферХаугсбакк ( разговор ) 19:52, 4 января 2014 г. (UTC)Отвечать[ отвечать ]

«Системы упорядоченного типа (обмен отбрасыванием, сокращение и ослабление): каждая переменная используется ровно один раз в том порядке, в котором она была введена».

Похожи ли статические конструкторы на аффинные типы? 169.244.51.180 ( разговор ) 12:49, 18 мая 2022 г. (UTC)Отвечать[ отвечать ]

Эта номенклатура используется при обсуждении семантики времени жизни, где ограничение того, сколько раз вы можете передавать право собственности из привязки переменной, является значимым различием (скажем, между Rust и C++), тогда как сколько раз вы можете «использовать» переменную, звучит довольно эзотерично. . Это что-то? Определение, кажется, исключает содержание. Анордал ( обсуждение ) 00:14, 22 ноября 2023 г. (UTC)Отвечать[ отвечать ]