Вывести на чистую воду значение: Марина Королева — о версиях происхождения выражения «Вывести на чистую воду» — Российская газета

Марина Королева — о версиях происхождения выражения «Вывести на чистую воду» — Российская газета

Вода, вода, кругом вода… Мы без воды ни шагу. А все потому, что это простое слово стало частью великого множества крылатых выражений. Тут вам и седьмая вода на киселе, и темна вода во облацех, и водой не разольешь, и воду мутить, и выводить на чистую воду, и, конечно же, толочь воду в ступе…

И это еще далеко не все: много воды утекло, тише воды, ниже травы, выйти сухим из воды, как воды в рот набрал, носить воду в решете — и это только то, что приходит в голову вот прямо сейчас, когда я пишу эти строки! На самом деле этих выражений, конечно же, гораздо больше. И за каждым, как всегда, стоит целая история. Одно из этих «водяных» выражений мы сейчас и выведем на чистую воду.

Я их выведу на чистую воду. В современном смысле слова вода здесь совершенно ни при чем: вывести на чистую воду — это разоблачить кого-то, уличить в обмане, дурном поступке, выявить правду. Но можно предположить, что когда-то этот оборот был связан именно с водой, причем не со всякой водой, а с водой именно чистой. Так кто же и кого на нее выводил?

Судя по Словарю русской фразеологии, версий несколько. И первая же связана с обычаем сколь древним, столь и жестоким — с обычаем так называемого «божьего суда». Он у многих народов — в том числе и у русского — был в ходу: обвиняемого или подозреваемого в каком-то преступлении бросали в реку, и если он всплывал, то считался виновным. Если же человек тонул, решали, что обвинение было несправедливым.

Как видите, судьба несчастного в любом случае была незавидной. Но вода и в те времена считалась стихией чистой, священной, потому и суд ее почитал за объективный.

Вторая версия попроще. Предполагают, что словосочетание выводить на чистую воду было связано с профессиональной речью рыболовов: удильщик должен был вывести рыбу на открытую, так называемую чистую воду, чтобы она не сошла с крючка, запутавшись в траве или корягах.

Ну а третья версия снова мистическая: гадание на воде, гидромантия. Гадальщики как бы выводили на свежей воде образ человека, который совершил злое дело или сглазил кого-то. По Словарю к такому способу гадания прибегали, чтобы узнать виновника беды. Причем в XVIII веке оборот этот употребляли как раз тогда, когда речь шла о каком-то мошенничестве.

Остается выбрать, какая из версий вам, читатель, милее: гадательная, судебная или рыболовная.

вывести на чистую воду — это… Что такое вывести на чистую воду?

вывести на чистую воду

выводить/вывести на чистую воду Разг. Разоблачать, уличать кого-либо (раскрывать дела, обычно темные, неблаговидные). С сущ. со знач. лица или совокупности лиц: рабочий, руководитель, коллектив, группа… выведет на чистую воду кого-что? виновника, обман, мошенничество…

Мне хочется непременно вывести на чистую воду это мошенничество. (Н. Гоголь.)

Я его выведу на чистую воду: я видел, как он крадет апельсины в чужих садах. (И. Тургенев.)

Все вы подлецы! Негодяи! Я вас выведу на чистую воду. (А. Чехов.)

Тимин, торжествуя свою победу, кричал, что он выведет на чистую воду всех хвастунов и зазнаек. (В. Осеева.)

(?) Выводить на чистую воду – первоначально: вывести рыбу, которая попалась на крючок, на чистую (открытую) воду.

Учебный фразеологический словарь. — М.: АСТ. Е. А. Быстрова, А. П. Окунева, Н. М. Шанский. 1997.

• выводить на чистую воду
• выдавать себя

Смотреть что такое «вывести на чистую воду» в других словарях:

• ВЫВЕСТИ НА ЧИСТУЮ ВОДУ — кто кого Разоблачать; уличать в чём л. Имеется в виду, что лицо или группа лиц (Х) раскрывает неблаговидные дела и поступки, тайные замыслы другого лица или другой группы лиц (Y). Преимущественно об интригах, обмане, махинациях, мошенничестве,… …   Фразеологический словарь русского языка

• Вывести на чистую воду — ВЫВОДИТЬ НА ЧИСТУЮ ВОДУ кого, что. Разг. Экспрес. ВЫВЕСТИ НА ЧИСТУЮ ВОДУ кого, что. Экспрес. 1. Разоблачать (о тёмных делах, махинациях или лицах, причастных к ним). Мне хочется непременно вывести на чистую воду это мошенничество (Гоголь. Письмо… …   Фразеологический словарь русского литературного языка

• вывести на чистую воду — Вы/вести на чистую (свежую) воду кого Разоблачить, уличить кого л …   Словарь многих выражений

• Выводить/ вывести на чистую воду — кого. 1. Разг. Уличать кого л. в чём л., разоблачать кого л. ФСРЯ, 74; БМС 1998, 88; БТС, 139; Глухов 1988, 17; СРНГ 36, 228; ШЗФ 2001, 49; ЗС 1996, 208, 231; Ф 1, 69. 2. Арх. Указывать правильный путь, спасать кого л. АОС 4, 153 …   Большой словарь русских поговорок

• Вывести на свежую воду — ВЫВОДИТЬ НА СВЕЖУЮ ВОДУ кого. ВЫВЕСТИ НА СВЕЖУЮ ВОДУ кого. Разг. Экспрес. 1. То же, что Выводить на чистую воду кого, что (в 1 м знач.). 2. То же, что Выводить на чистую воду кого, что (во 2 м знач.). Вы расскажите всё о Молотове. Надо вывести… …   Фразеологический словарь русского литературного языка

• Вывести на чистую(свежую) воду — Вывести на чистую (свѣжую) воду (иноск.) обличить кого, обнаружить что. Ср. Такъ ты правъ? Вышелъ совсѣмъ сухъ изъ воды. Постой же я выведу тебя на свѣжую воду. Гончаровъ. Обыкновенная исторія. 2, 1. Ср. Я его выведу на чистую воду: я видѣлъ,… …   Большой толково-фразеологический словарь Михельсона (оригинальная орфография)

• вывести на чистую(свежую) воду — (иноск.) обличить кого, обнаружить что Ср. Так ты прав? Вышел совсем сух из воды. Постой же, я выведу тебя на свежую воду. Гончаров. Обыкновенная история. 2, 1. Ср. Я его выведу на чистую воду: я видел, как он крадет апельсины в чужих садах.… …   Большой толково-фразеологический словарь Михельсона

• ВЫВОДИТЬ НА ЧИСТУЮ ВОДУ — кто кого Разоблачать; уличать в чём л. Имеется в виду, что лицо или группа лиц (Х) раскрывает неблаговидные дела и поступки, тайные замыслы другого лица или другой группы лиц (Y). Преимущественно об интригах, обмане, махинациях, мошенничестве,… …   Фразеологический словарь русского языка

• выводить на чистую воду — выводить/вывести на чистую воду Разг. Разоблачать, уличать кого либо (раскрывать дела, обычно темные, неблаговидные). С сущ. со знач. лица или совокупности лиц: рабочий, руководитель, коллектив, группа… выведет на чистую воду кого что? виновника …   Учебный фразеологический словарь

• Выводить на чистую воду — кого, что. Разг. Экспрес. ВЫВЕСТИ НА ЧИСТУЮ ВОДУ кого, что. Экспрес. 1. Разоблачать (о тёмных делах, махинациях или лицах, причастных к ним). Мне хочется непременно вывести на чистую воду это мошенничество (Гоголь. Письмо М. И. Гоголь, 4 янв.… …   Фразеологический словарь русского литературного языка

Какое значение фразеологизма вывести на чистую воду и примеры употребления

Чистая вода хороша не только для питья, она еще помогает в борьбе с мошенниками и лгунами. Не верите? Но ведь именно об этом говорит значение фразеологизма «вывести на чистую воду». Сегодня мы узнаем, как лукавство связано с водой, приведем примеры и рассмотрим синонимы.

Происхождение

Есть несколько версий, но мы не будем мучить читателя ими. Ознакомим только с самой правдоподобной. Рассматриваемое выражение должно быть благодарно своим рождением профессиональному жаргону рыбаков. Последние прекрасно знали, что ловить рыбу в мутных водах не так-то и просто. Если в том месте, где удится рыба, водовороты или стремнины, то добычу хорошо бы вывести на чистую, свободную от волнений воду и уж затем с ней расправиться, вернее, довести начатое дело до конца.

Смысл

Поэтому-то значение фразеологизма «вывести на чистую воду» сводится к тому, чтобы разоблачить жулика, мошенника. Если мужчина или женщина темнят, не говорят всей правды, то их представление в глазах других людей искажается, становится мутным. Когда же чары рассеиваются, то лукавый человек предстает в своем собственном виде, как он есть. Весь его обман тут же обнаруживается. Образ перестает быть мутным, нечетким.

Значение фразеологизма «вывести на чистую воду» довольно занимательно. Хотя и нельзя сказать, что неожиданно. Продолжаем разговор. На очереди конструкции, которые могут занять место нашего сегодняшнего объекта исследования.

Синонимы

Как кажется, объяснение вполне доходчивое, но может быть, у кого-то возникли проблемы с пониманием. Здесь пригодятся синонимы. «Вывести на чистую воду» порой хочется заменить, что делать? Вот список:

• вскрыть правду;
• вывести на свет божий;
• обличить;
• обнаружить обман;
• открыть правду;
• показать неприглядную сторону;
• разоблачить;
• сорвать маску.

Особенно в этом смысле всегда достается добру. Например, есть меценат, у него слава филантропа. Но тут журналист обнаруживает, что за благотворительностью стоят темные дела: торговля оружием, наркотики, подпольные игорные дома. И в этом контексте журналист-следователь поступает очень смело, он звонит злодею, прикидывающемуся святошей, и говорит: «Ничего, господин Персиков, я выведу на чистую воду вас!» Значение фразеологизма уже в пояснениях не нуждается. Ему посвящено много времени. Перейдем непосредственно к примерам использования.

Примеры употребления

Если нужны еще примеры того, как выводят на чистую воду, то стоит вспомнить сериал «Доктор Хаус», где циничный и злобный диагност почти каждую серию разоблачает людские комплексы под маской добра. Нельзя сказать, что сценаристы настроены оптимистично относительно перспектив человеческой природы.

Однако мы заболтались, а читатель ждет конкретных предложений. «Вывести на чистую воду» как можно использовать, если есть в этом потребность? Все очень просто. Приведем три примера:

1. «Я увидел, как Петров ворует яблоки у полуслепой старушки и решил вывести его на чистую воду. Когда мы доберемся до дома, пусть ему будет стыдно!»
2. «Марина сказала, что весь вечер читала Бодлера у себя в комнате и рано легла спать, хотя ее темные круги под глазами говорили о том, что она провела бессонную ночь. Я решила вывести ее на чистую воду и расспросила подробнее о “Цветах зла”».
3. «Я видел, что Сидоров не сам решает контрольную, а списывает. Но я не стал обращать внимание учителя на это, не стал предавать друга. Но мы с ним еще поговорим об этом позже».

Читатель может подумать, что примеры слегка тяжеловесные. Но это все намеренно, чтобы, когда он будет тренироваться сам, у него гарантированно вышло лучше.

Наше дело – дать определенный ориентир. Надеемся, у нас вышло. А рассматривали мы выражение «вывести на чистую воду». Значение фразеологизма и примеры были представлены с душой и огоньком.

Обьясните значение фразеологизма, запишите. Составьте 2 предложения, опишите ситуацию в

3.Изменяется ли глагол по числам? а) Да; б) нетпомагите пж я не помню​

гастрономические это что значет ? ​

Отметь пример(-ы) с ошибкой в форме числительного. (Около) Пятисот сорока девяти дней Сто сорока пяти килограммам Девятисот пятидесяти шести попугаев … Семисот тридцати восьми розеток Отметь пример(ы) без ошибки в форме числительного. Семьюстами тридцатью пятью баранами Девяноста семь попугаев Двадцатью семи рублями Двести пяти книгам

Выпиши из предложений словосочетания числительное + существительное, определи их синтаксическую функцию. (Выписывай в той форме, в какой слова стоят в … предложении, не изменяя порядка слов, при наличии предлога — вместе с ним.) Пример: «Из брички вылезали двое каких-то мужчин» (Н. Гоголь). двое мужчин — подлежащее.

Поставь глагол засыпать в форму изъявительного настоящего времени и проспрягай. Я. Мы. ты. ВЫ. ОН .ОНИ.​

Поставьте знаки препинания там где нужно.теперь я сделал всё правильно​

ПОМОГИТЕ ПОЖАЛУЙСТА ПРЕДЛОЖЕНИЕ :НА ЗЕМЛЮ СПУСТИЛАСЬ НОЧЬ . МОЖНО ЛИ В ЭТОМ ПРЕДЛОЖЕНИИ ОТ ГЛАГОЛА спуститься ОБРАЗОВАТЬ В ФОРМУ НАСТОЯЩЕГО ВРЕМЕНИ ? … ОТВЕТ МОТИВИРУЙТЕ !!!!!!! ПОМОГИТЕ ПЖ!!!!!!!!!!!!!!!

План(1)Детство будущего императора Петра I проходило в необычной для законного обладателя престола обстановке. (2)Реальная власть находилась в руках е … го старшей сестры — царевны Софьи. (3)Пётр жил в селе Преображенском недалеко от Москвы, а в Кремле появлялся лишь для участий в официальных мероприятиях. (4) Воспитанием мальчика никто толком не занимался, а потому деятельный, не по годам физически развитый ребёнок попросил у матери разрешения создать небольшое «потешное войско» из своих сверстников, которое очень скоро перешло от «игр в солдатики» к полноценным военным учениям. (5)«Потешные» под руководством иностранных специалистов маршировали с ружьями, фехтовали и даже построили небольшую крепость, где отрабатывали приёмы штурма и обороны. (6)В 12 лет Пётр уже умел стрелять из пушки. (7) Назначения на офицерские должности производились только по заслугам, невзирая на знатность происхождения. (8) Сам царь начал службу простым барабанщиком. (9)Для получения звания капитана бомбардирской роты ему потребовалось более десяти лет. (10)Собственным примером молодой царь показывал своим будущим сподвижникам главные принципы организации армии и воинской дисциплины, (11)Пётр подрастал, и вместе с ним подрастали его товарищи по военным играм. (12) Для того чтобы помочь детям обращаться с тяжёлыми пушками, в «потешное войско» записали и взрослых: конюших и сокольников с царского двора. (13) Военные манёвры усложнялись, к «потешным» причислили несколько десятков боевых солдат и офицеров. (14) «Потешное войско» разрослось до размеров полка, названного по месту проживания Преображенским. (15)В дальнейшем из его состава был выделен ещё один полк Семёновский. (16)Так, к семнадцати годам у Петра была уже собственная гвардия, не побоявшаяся выступить в защиту своего царя, когда он решил вернуть себе законную власть над государством. Нужен мне план пж

фонетический разбор слова гидроэлектростанция

Какой союз должен стоять между простыми предложениями « Я не пойду на улицу — обещали ливень » ?

Значение фразеологизма «вывести на чистую воду» и примеры употребления

Чистая вода хороша не только для питья, она еще помогает в борьбе с мошенниками и лгунами. Не верите? Но ведь именно об этом говорит значение фразеологизма «вывести на чистую воду». Сегодня мы узнаем, как лукавство связано с водой, приведем примеры и рассмотрим синонимы.

Происхождение

Есть несколько версий, но мы не будем мучить читателя ими. Ознакомим только с самой правдоподобной. Рассматриваемое выражение должно быть благодарно своим рождением профессиональному жаргону рыбаков. Последние прекрасно знали, что ловить рыбу в мутных водах не так-то и просто. Если в том месте, где удится рыба, водовороты или стремнины, то добычу хорошо бы вывести на чистую, свободную от волнений воду и уж затем с ней расправиться, вернее, довести начатое дело до конца.

Смысл

Поэтому-то значение фразеологизма «вывести на чистую воду» сводится к тому, чтобы разоблачить жулика, мошенника. Если мужчина или женщина темнят, не говорят всей правды, то их представление в глазах других людей искажается, становится мутным. Когда же чары рассеиваются, то лукавый человек предстает в своем собственном виде, как он есть. Весь его обман тут же обнаруживается. Образ перестает быть мутным, нечетким.

Значение фразеологизма «вывести на чистую воду» довольно занимательно. Хотя и нельзя сказать, что неожиданно. Продолжаем разговор. На очереди конструкции, которые могут занять место нашего сегодняшнего объекта исследования.

Синонимы

Как кажется, объяснение вполне доходчивое, но может быть, у кого-то возникли проблемы с пониманием. Здесь пригодятся синонимы. «Вывести на чистую воду» порой хочется заменить, что делать? Вот список:

• вскрыть правду;
• вывести на свет божий;
• обличить;
• обнаружить обман;
• открыть правду;
• показать неприглядную сторону;
• разоблачить;
• сорвать маску.

Особенно в этом смысле всегда достается добру. Например, есть меценат, у него слава филантропа. Но тут журналист обнаруживает, что за благотворительностью стоят темные дела: торговля оружием, наркотики, подпольные игорные дома. И в этом контексте журналист-следователь поступает очень смело, он звонит злодею, прикидывающемуся святошей, и говорит: «Ничего, господин Персиков, я выведу на чистую воду вас!» Значение фразеологизма уже в пояснениях не нуждается. Ему посвящено много времени. Перейдем непосредственно к примерам использования.

Примеры употребления

Если нужны еще примеры того, как выводят на чистую воду, то стоит вспомнить сериал «Доктор Хаус», где циничный и злобный диагност почти каждую серию разоблачает людские комплексы под маской добра. Нельзя сказать, что сценаристы настроены оптимистично относительно перспектив человеческой природы.

Однако мы заболтались, а читатель ждет конкретных предложений. «Вывести на чистую воду» как можно использовать, если есть в этом потребность? Все очень просто. Приведем три примера:

1. «Я увидел, как Петров ворует яблоки у полуслепой старушки и решил вывести его на чистую воду. Когда мы доберемся до дома, пусть ему будет стыдно!»
2. «Марина сказала, что весь вечер читала Бодлера у себя в комнате и рано легла спать, хотя ее темные круги под глазами говорили о том, что она провела бессонную ночь. Я решила вывести ее на чистую воду и расспросила подробнее о “Цветах зла”».
3. «Я видел, что Сидоров не сам решает контрольную, а списывает. Но я не стал обращать внимание учителя на это, не стал предавать друга. Но мы с ним еще поговорим об этом позже».

Читатель может подумать, что примеры слегка тяжеловесные. Но это все намеренно, чтобы, когда он будет тренироваться сам, у него гарантированно вышло лучше.

Наше дело – дать определенный ориентир. Надеемся, у нас вышло. А рассматривали мы выражение «вывести на чистую воду». Значение фразеологизма и примеры были представлены с душой и огоньком.

Значение, Определение, Предложения . Что такое вывести на чистую воду

Фразеологизмы со словом «вода» и их значение (с примерами)

С водой мы сталкиваемся ежедневно. Без воды человеку обойтись никак нельзя. Поэтому роль воды в жизни людей крайне велика. Отсюда и большое количество фразеологизмов со словом «вода» в нашей повседневной речи. А понять тот или иной фразеологизм помогают примеры фраз с использованием этих фразеологизмов.

Решетом воду носить
Делать какую-то бессмысленную работу, не приносящую пользы, результата.

Вот ведь как получается! Научили добрые люди решетом воду носить.

Водой не разольёшь
О людях, которые очень дружны и которые все дела выполняют вместе.

Их теперь водой не разольешь, всюду ходят вместе, о ссорах забыли вообще.

Ловить рыбу/рыбку в мутной воде
Использовать сложную ситуацию для получения личной выгоды.

Это время господ Уваровых, отлично умеющих ловить рыбку в мутной воде.

Мутить воду, баламутить воду
Намеренно портить чьи-либо взаимоотношения, создавать скандальную обстановку.

Всё по-старому, кроме понимания того, что Ксения Михайловна вновь принялась мутить воду.

Возить воду (на ком-либо)
Беззастенчиво использовать кого-то для тяжелых работ. Часто еще используется в виде фразы «На обиженных (сердитых) воду возят», как предупреждение о том, что за неправильное поведение может последовать расплата. В старину для перевозки воды часто использовали норовистых, непослушных лошадей, тем самым обуздывая и воспитывая непослушных животных тяжелой работой.

— А мы им уступать не будем, — заявила Марианна, — они готовы на нас воду возить.

Пройти огонь, воду и медные трубы
Преодолеть все трудности, успешно пройти все испытания. Огонь и вода в данной фразе ассоциируются с жизненными невзгодами (например, пожар или потоп), а «медные трубы» означают испытание славой (в духовом оркестре, играющем марши в честь прославленных людей, многие инструменты сделаны из меди).

Что его страшит? Да ничего. Много чего повидал. Сумел пройти огонь, воду и медные трубы.

Седьмая вода на киселе
Так говорят об очень дальних родственниках, сравнивая степень родства с густотой популярного русского напитка, киселя. Кисель сам по себе очень густой напиток. Если его немного разбавить водой, он станет более жидким. После второго раза кисель станет еще жиже. А после седьмого раза он превратится практически в чистую воду.

Какой он мне родственник? Седьмая вода на киселе.

Тише воды, ниже травы
Об очень робком, скромном поведении человека, который не стремится привлечь к себе внимания.

Служивые его опасались, старались не попадаться ему на глаза и были тише воды, ниже травы.

Чувствовать себя, как рыба в воде
Так характеризуют обстановку, в которой человек чувствует себя очень уверенно и легко.

На новом месте Емельян Григорьевич чувствовал себя, как рыба в воде.

Буря в стакане (воды)
О незначительном событии, которое вызывает непомерно много обсуждений.

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

Вилами по воде писано (написано)
О чем-то неопределенном, не имеющем ясного исхода.

Впрочем все эти доводы Василисы писаны вилами на воде.

Вывести на чистую воду
Разоблачить кого-то, поймать на совершении запретного действия, сделать тайное явным. Так рыбаки стараются вывести рыбу, ухватившую крючок из зарослей на открытую (чистую) воду.

Задача заключалась в том, чтобы с помощью наводящих вопросов вывести лгуна на чистую воду.

Выйти сухим из воды
О ситуации, когда человек не понес ответственности за какое-либо неблаговидное дело, избежал наказания.

Голова предпринимателя была занята тем, как выйти сухим из воды.

Как в воду кануть
То есть исчезнуть бесследно.

Загадочный лесник Прохор Наумович куда-то исчез, как в воду канул.

Воды в рот набрал
О человеке, который упорно хранит молчание, в то время, когда от него ждут каких-то слов.

Ты, что, Савелий, забыл как слова произносятся? Воды в рот набрал?

Как в воду глядел
О человеке, угадавшем наступление какого-то события. В древние времена было распространено гадание по воде, когда на поверхности воды пытались рассмотреть грядущие события.

Он как в воду глядел, когда понял, что замена Ложкина на Кирюшина не принесёт желаемого результата.

Как две капли (воды)
О людях или предметах , которые очень похожи.

В качестве сопровождающего был вызван сержант Петров, как две капли воды
похожий на новоприбывшего.

Как с гуся вода
О человеке, которому все сходит с рук, поступки которого остаются без вредных для него последствий. Известно, что у гусей перья остаются сухими после пребывания в воде.

Что ему расстраиваться? С него всё, как с гуся вода.

Как в воду опущенный
Чем-либо расстроенный, крайне подавленный человек.

Неделю уже ходит, как в воду опущенный.

вывести значение — Traduccin al espaol — Linguee

Вывести или вычислить — в чем разница?

Вычитаем из этого

Мы предлагаем новый механизм для определения или вывода категории значения экземпляра класса — другими словами, способ узнать изнутри функции-члена, является ли вызываемый объект объектом lvalue или rvalue; является ли он постоянным или изменчивым; и тип объекта.

Изменения по сравнению с R3

Ответ из Белфаста в EWG гласил: «Выглядит хорошо, вернитесь с формулировкой и реализацией». В этой версии добавлены формулировки, реализация находится в разработке.

Изменения с r2

[P0847R2] был представлен EWGI в Коне в январе 2019 г., и в целом получил восторженную поддержку.

В этой версии добавлено:

Изменения по сравнению с R1

[P0847R1] был представлен в Сан-Диего в ноябре 2018 года с широким спектром синтаксисов и опций поиска по имени.Обсуждение там выявило некоторые потенциальные проблемы в отношении лямбда-выражений, которые необходимо устранить. Эта ревизия сосредоточена на одном конкретном синтаксисе и семантике поиска имени, которая решает все варианты использования.

Изменения по сравнению с r0

[P0847R0] был представлен в Рапперсвиле в июне 2018 года с использованием синтаксиса, скорректированного по сравнению с тем, который использовался в этой статье, с использованием this Self && self , чтобы указать явный параметр объекта, а не Self && this self , который появился в r0 нашей статьи .

EWG настоятельно рекомендовала нам искать в двух новых направлениях:

• другой синтаксис, помещающий тип параметра объекта после объявлений параметров функции-члена (где сегодня квалификаторы cv-ref )
• другая схема поиска имени, которая может предотвратить неявный / неквалифицированный доступ из функций-членов нового стиля, которые имеют явную аннотацию собственного типа, независимо от синтаксиса.

В этой редакции тщательно исследуются оба этих направления, представлены различные синтаксисы и схемы поиска, а также подробно обсуждаются несколько вариантов использования и то, как каждый синтаксис может или не может их решать.

В C ++ 03 функции-члены могут иметь cv -qualification, поэтому возможны сценарии, в которых конкретный класс будет нуждаться в перегрузке const и не const конкретного члена. (Обратите внимание, что также можно было хотеть volatile перегрузки, но они менее распространены и поэтому здесь не рассматриваются.) В этих случаях обе перегрузки делают одно и то же — единственная разница заключается в типах, к которым осуществляется доступ и которые используются. Это было выполнено либо путем дублирования функции с корректировкой типов и квалификаций по мере необходимости, либо путем передачи одного делегата перегрузки другому.Пример последнего можно найти в книге Скотта Мейерса «Эффективный C ++» [EffCpp], Item 3:

  class TextBlock {
общественность:
  char const & operator [] (size_t позиция) const {
    // ...
    вернуть текст [позиция];
  }

  char & operator [] (size_t position) {
    вернуть const_cast  (
      static_cast  (* this) [позиция]
    );
  }
  // ...
};  

Возможно, ни дублирование, ни делегирование через const_cast не являются отличными решениями, но они работают.

В C ++ 11 функции-члены получили новую ось для специализации: квалификаторы ref. Теперь вместо потенциально двух перегрузок одной функции-члена нам могут понадобиться четыре: & , const & , && или const && . У нас есть три подхода, чтобы справиться с этим:

• Один и тот же элемент используется четыре раза;
• У нас есть три делегата перегрузки четвертому; или
• У нас есть все четыре перегрузки, которые делегируются помощнику в форме частной статической функции-члена.

Одним из примеров последнего может быть набор перегрузки для optional :: value () , реализованный как:

  шаблон 
class optional {
  // ...
  constexpr T & value () & {
    if (has_value ()) {
      вернуть это-> m_value;
    }
    бросить bad_optional_access ();
  }

  constexpr T const & value () const & {
    if (has_value ()) {
      вернуть это-> m_value;
    }
    бросить bad_optional_access ();
  }

  constexpr T && value () && {
    if (has_value ()) {
      возвратный ход (this-> m_value);
    }
    бросить bad_optional_access ();
  }

  constexpr T const &&
  value () const && {
    if (has_value ()) {
      возвратный ход (this-> m_value);
    }
    бросить bad_optional_access ();
  }
  //...
};  

  шаблон 
class optional {
  // ...
  constexpr T & value () & {
    return const_cast  (
      static_cast <необязательная const &> (
        * это) .value ());
  }

  constexpr T const & value () const & {
    if (has_value ()) {
      вернуть это-> m_value;
    }
    бросить bad_optional_access ();
  }

  constexpr T && value () && {
    return const_cast  (
      static_cast <необязательная const &> (
        *это).стоимость());
  }

  constexpr T const &&
  value () const && {
    return static_cast  (
      стоимость());
  }
  // ...
};  

  шаблон 
class optional {
  // ...
  constexpr T & value () & {
    return value_impl (* это);
  }

  constexpr T const & value () const & {
    return value_impl (* это);
  }

  constexpr T && value () && {
    return value_impl (перемещение (* это));
  }

  constexpr T const &&
  value () const && {
    return value_impl (перемещение (* это));
  }

частный:
  шаблон 
  статический тип объявления (авто)
  value_impl (Opt && opt) {
    если (! opt.has_value ()) {
      бросить bad_optional_access ();
    }
    возврат вперед  (opt) .m_value;
  }
  // ...
};  

Это далеко не сложная функция, но, по сути, повторение одного и того же кода четыре раза — или использование искусственного делегирования, чтобы этого избежать — требует перезаписи. К сожалению, это невозможно улучшить; мы должны реализовать это таким образом. Кажется, мы должны абстрагироваться от квалификаторов, как мы можем для функций, не являющихся членами, где у нас просто нет этой проблемы:

  шаблон 
class optional {
    //...
    шаблон 
    friend decltype (auto) value (Opt && o) {
        if (o.has_value ()) {
            возврат вперед  (o) .m_value;
        }
        бросить bad_optional_access ();
    }
    // ...
};  

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

Во многих случаях нам нужны две или четыре перегрузки одной и той же функции-члена для разных const или ref-квалификаторов.Более того, вероятны дополнительные случаи, когда класс должен иметь четыре перегрузки определенной функции-члена, но из-за лени разработчика их нет. Мы думаем, что таких случаев достаточно, чтобы заслужить лучшее решение, чем просто «напишите, напишите еще раз, а затем напишите еще два раза».

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

Мы считаем, что возможность писать шаблоны функций-членов cv-ref qualifier без дублирования улучшит ремонтопригодность кода, снизит вероятность ошибок и упростит написание быстрого и правильного кода.

Предложение достаточно общее и ортогональное, чтобы учесть несколько новых интересных функций и шаблонов проектирования для C ++:

Они подробно рассматриваются в разделе примеров.

Это предложение предполагает наличие двух дополнений к библиотеке, но не предлагает их:

• like_t , метафункция, которая применяет квалификаторы cv и ref первого типа ко второму (например,г. like_t равно double & , like_t равно Y const && и т. Д.)
• forward_like , версия forward , которая предназначена для пересылки переменной не на основе ее собственного типа, а вместо этого на основе некоторого другого типа. forward_like (u) является сокращением для forward > (u) .

Предлагаемый синтаксис

Предлагаемый синтаксис в этой статье заключается в использовании явного этого параметра с аннотацией .

Можно объявить нестатическую функцию-член, которая принимает в качестве первого параметра явный параметр объекта , обозначенный ключевым словом с префиксом this . Как только мы повысим параметр объекта до надлежащего параметра функции, его можно будет вывести, следуя обычным правилам вывода шаблона функции:

  struct X {
    void foo (это X const & self, int i);

    шаблон 
    пустая панель (это Self && self);
};

структура D: X {};

void ex (X & x, D const & d) {
    Икс.foo (42); // 'self' привязано к 'x', 'i' равно 42
    x.bar (); // выводит Self как X &, вызывает X :: bar 
    перемещение (x) .bar (); // выводит Self как X, вызывает X :: bar 

    d.foo (17); // 'self' привязан к 'd'
    d.bar (); // выводит Self как D const &, вызывает X :: bar 
}  

Функции-члены с явным параметром объекта не могут быть static или иметь cv — или ref -qualifiers.

Вызов функции-члена интерпретирует аргумент объекта как первый (, этот — аннотированный) параметр для него; затем первый аргумент в списке выражений в скобках интерпретируется как второй параметр и так далее.

Следуя обычным правилам вывода, параметр шаблона, соответствующий явному параметру объекта, может выводиться к типу, производному от класса, в котором объявлена ​​функция-член, как в приведенном выше примере для d.bar () ).

Мы можем использовать этот синтаксис для реализации optional :: value () и optional :: operator -> () всего в двух функциях вместо текущих шести:

  шаблон 
struct optional {
  шаблон 
  constexpr auto && value (this Self && self) {
    если (! self.has_value ()) {
      бросить bad_optional_access ();
    }

    возврат вперед  (self) .m_value;
  }

  шаблон 
  constexpr auto operator -> (this Self && self) {
    обратный адрес (self.m_value);
  }
};  

Этот синтаксис также может использоваться в лямбдах, с этот аннотированный параметр , раскрывающий способ ссылки на саму лямбда в его теле:

  захваченный вектор = {1, 2, 3, 4};
[захвачено] (это авто && сам) -> decltype (auto) {
  return forward_like  (захвачено);
}

[захвачено]  (this Self && self) -> decltype (auto) {
  return forward_like  (захвачено);
}  

Лямбда-выражения могут перемещаться или копироваться из захвата, в зависимости от того, является ли лямбда l-значением или r-значением.

Предлагаемая семантика

Далее следует описание того, как вывод из этого влияет на все важные языковые конструкции — поиск имени, вывод типа, разрешение перегрузки и так далее.

Поиск имени: функции-кандидаты

В C ++ 17 поиск по имени включает в себя как статические, так и нестатические функции-члены, обнаруживаемые обычным поиском класса при вызове именованной функции или оператора, включая оператор вызова, для объекта типа класса.Нестатические функции-члены обрабатываются так, как если бы существовал неявный параметр объекта, тип которого является ссылкой lvalue или rvalue на cv X (где квалификаторы reference и cv определяются на основе собственных квалификаторов функции), который связывает объекту, для которого была вызвана функция.

Для нестатических функций-членов, использующих явный параметр объекта, поиск будет работать так же, как и другие функции-члены в C ++ 17, за одним исключением: вместо неявного определения типа параметра объекта на основе cv — и ref -квалификаторы функции-члена, теперь они явно определяются предоставленным типом явного параметра объекта.Следующие примеры иллюстрируют эту концепцию.

  struct X {
  // неявный объект имеет тип X &
  void foo () &;

  // неявный объект имеет тип X const &
  void foo () const &;

  // неявный объект имеет тип X &&
  void bar () &&;
};  

  struct X {
  // явный объект имеет тип X &
  void foo (это X &);

  // явный объект имеет тип X const &
  void foo (это X const &);

  // явный объект имеет тип X &&
  пустая панель (это X &&);
};  

Поиск имени по выражению типа obj.foo () в C ++ 17 найдет обе перегрузки foo в первом столбце, при этом неконстантная перегрузка будет отброшена, если obj будет const.

С предложенным синтаксисом obj.foo () продолжит поиск обеих перегрузок foo с поведением, идентичным C ++ 17.

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

В этом документе не предлагаются какие-либо изменения для разрешения перегрузки , а просто предлагается расширить набор кандидатов, включив в него нестатические функции-члены и шаблоны функций-членов, написанные в новом синтаксисе. Следовательно, при вызове x.foo () разрешение перегрузки все равно выберет первую перегрузку foo () , если x не равно const , и вторую, если это так.

Поведение двух столбцов в точности эквивалентно предложенному.

Единственное изменение, касающееся кандидатов, заключается в том, что предложение позволяет вычитать параметр объекта, что является новым для языка.

Типовой вычет

Одним из основных мотивов этого предложения является вывод cv -qualifiers и категории значения объекта класса, что требует, чтобы явный объект или тип-член выводился из объекта, для которого вызывается функция-член.

Если тип параметра объекта является параметром шаблона, все обычные правила вывода из шаблона применяются должным образом:

  struct X {
  шаблон 
  void foo (это Self &&, int);
};

структура D: X {};

void ex (X & x, D & d) {
    Икс.foo (1); // Self = X &
    перемещение (x) .foo (2); // Self = X
    d.foo (3); // Self = D &
}  

Важно подчеркнуть, что дедукция способна вывести производный тип, что очень эффективно. В последней строке, независимо от синтаксиса, Self выводит как D & . Это имеет значение для поиска имени в функциях-членах и приводит к потенциальному расширению вывода аргументов шаблона.

По значению

Но что, если явный тип не имеет ссылочного типа? Что это должно значить?

  struct less_than {
    template 
    bool operator () (this less_than, T const & lhs, U const & rhs) {
        return lhs  

Ясно, что спецификация параметра не должна лгать, и первый параметр ( less_than {} ) передается по значению.

Следуя предложенным правилам поиска кандидата, здесь оператор вызова будет кандидатом, при этом параметр объекта будет привязан к (пустому) объекту, а два других параметра привязаны к аргументам. В этом языке нет ничего нового в параметре значения - он имеет ясное и очевидное значение, но мы никогда раньше не могли принимать параметр объекта по значению. В случаях, когда это может быть желательно, см. Функции-члены по значению.

Поиск имени: в функциях-членах

До сих пор мы рассматривали только то, как функции-члены с явными параметрами объекта находятся при поиске имени и как они определяют этот параметр.Теперь перейдем к тому, как на самом деле ведут себя тела этих функций.

Поскольку явный параметр объекта выводится из объекта, для которого вызывается функция, это имеет возможный эффект вывода производных типов. Мы должны внимательно рассмотреть, как работает поиск по имени в этом контексте.

  struct B {
    int я = 0;

    template  auto && f1 (this Self &&) {return i; }
    template  auto && f2 (this Self &&) {return this-> i; }
    template  auto && f3 (this Self &&) {return forward_like  (* this).я; }
    template  auto && f4 (this Self &&) {return forward  (* this) .i; }
    template  auto && f5 (this Self && self) {return forward  (self) .i; }
};

struct D: B {
    // тени B :: i
    двойной i = 3,14;
};  

Вопрос в том, что делает каждая из этих пяти функций? Должен ли какой-нибудь из них быть плохо сформированным? Какой вариант самый безопасный?

Мы считаем, что есть три подхода на выбор:

1. Если есть явный параметр объекта, этот недоступен, и каждый доступ должен осуществляться через сам .Неявный поиск членов через и отсутствует. Это делает f1 - f4 плохо сформированными и только f5 правильно сформированными. Однако, в то время как B (). F5 () возвращает ссылку на B :: i , D (). F5 () возвращает ссылку на D :: i , поскольку self является ссылкой к D .

2. Если есть явный параметр объекта, этот доступен и указывает на базовый подобъект.Неявный поиск членов отсутствует; весь доступ должен осуществляться через этот или сам явно. Это делает f1 плохо сформированным. f2 будет правильно сформирован и всегда будет возвращать ссылку на B :: i . Самое главное, , этот будет зависимым , если явный параметр объекта был выведен. this-> i всегда будет int , но это может быть либо int , либо int const , в зависимости от того, является ли объект B const. f3 всегда будет правильно сформирован и будет правильным способом вернуть ссылку пересылки на B :: i . f4 будет правильно сформирован при вызове на B , но плохо сформирован при вызове на D из-за запрошенного неявного понижающего преобразования. Как и прежде, правильно сформировалось f5 .

3. этот всегда доступен и указывает на базовый подобъект; мы разрешаем неявный поиск, как в C ++ 17. Это в основном то же самое, что и предыдущий выбор, за исключением того, что теперь f1 правильно сформирован и точно эквивалентен f2 .

После обсуждения в Сан-Диего мы предлагаем вариант №1. Это позволяет получить наиболее четкую модель того, что представляет собой эта аннотированная функция : это статическая функция-член , которая предлагает более удобный синтаксис вызова функции. В таких функциях нет неявных , , единственное упоминание , - это аннотация к параметру объекта. Весь доступ к членам должен осуществляться напрямую через параметр объекта.

Следствием такого выбора является необходимость защиты от вывода параметра объекта в производный тип.Чтобы гарантировать, что f5 () выше всегда возвращает ссылку на B :: i , нам нужно написать одно из следующего:

  шаблон 
auto && f5 (this Self && self) {
    // явным образом приводим self к B с соответствующей квалификацией
    // обратите внимание, что мы должны использовать self, а не self.i
    вернуть static_cast  &&> (self) .i;

    // использовать явный синтаксис подобъекта. Обратите внимание, что это всегда
    // ссылка lvalue - не ссылка пересылки
    вернуть себя.B :: i;

    // использовать явный синтаксис подобъекта, чтобы получить ссылку пересылки
    возврат вперед  (self) .B :: i;
}  

Написание типов указателей функций для таких функций

Как описано в предыдущем разделе, моделью для функции-члена с явным параметром объекта является статическая функция-член .

Другими словами, дано:

  struct Y {
    int f (int, int) const &;
    int g (это Y const &, int, int);
};  

В то время как тип & Y :: f - int (Y :: *) (int, int) const & , тип & Y :: g - int (*) (Y const &, int, int ) .Поскольку это , всего указатель на функции, использование этих двух функций-членов отличается, когда мы перетаскиваем их в указатели:

  Y y;
y.f (1, 2); // нормально как обычно
y.g (3, 4); // хорошо, эта статья

авто pf = & Y :: f;
pf (y, 1, 2); // ошибка: указатели на функции-члены не вызываются
(y. * pf) (1, 2); // хорошо, как указано выше
std :: invoke (pf, y, 1, 2); // хорошо

авто pg = & Y :: g;
пг (у, 3, 4); // хорошо, как указано выше
(y. * pg) (3, 4); // ошибка: pg не является указателем на функцию-член
std :: invoke (pg, y, 3, 4); // нормально  

Правила те же, когда начинается вычет:

  struct B {
    шаблон 
    void foo (это Self &&);
};

структура D: B {};  

  шаблон 
struct less_than {
    bool operator () (это less_than, T const &, T const &);
};  

  less_than  lt;
auto p = & less_than  :: operator ();

lt (1, 2); // хорошо
р (lt, 1, 2); // хорошо
(lt.* р) (1, 2); // ошибка: p не является указателем на функцию-член
invoke (p, lt, 1, 2); // нормально  

  struct D;
struct B {
    void foo (это D &);
};
структура D: B {};  

  структура A {};
struct B {
    void foo (это A &);
    void bar (this int);
};  

  struct D;
struct B {
  int f1 (это D);
};
структура D1: B {};
структура D2: B {};
структура D: D1, D2 {};

int x = D ().f1 (); // ошибка: неоднозначный поиск
интервал y = B (). f1 (); // ошибка: B не может быть неявно преобразован в D
авто z = & B :: f1; // хорошо
z (D ()); // нормально  

  class TextBlock {
общественность:
  char const & operator [] (size_t позиция) const {
    //...
    вернуть текст [позиция];
  }

  char & operator [] (size_t position) {
    вернуть const_cast  (
      static_cast 
        (эта позиция]
    );
  }
  // ...
};  

  class TextBlock {
общественность:
  шаблон 
  auto & operator [] (это Self && self, size_t position) {
    // ...
    вернуть self.text [позиция];
  }
  // ...
};  

  шаблон 
class optional {
  //...
  constexpr T * оператор -> () {
    обратный адрес (this-> m_value);
  }

  constexpr T const *
  оператор -> () const {
    обратный адрес (this-> m_value);
  }
  // ...
};  

  шаблон 
class optional {
  // ...
  шаблон 
  constexpr auto operator -> (this Self && self) {
    обратный адрес (self.m_value);
  }
  // ...
};  

  шаблон 
class optional {
  //...
  constexpr T & оператор * () & {
    вернуть это-> m_value;
  }

  constexpr T const & оператор * () const & {
    вернуть это-> m_value;
  }

  constexpr T && оператор * () && {
    возвратный ход (this-> m_value);
  }

  constexpr T const &&
  оператор * () const && {
    возвратный ход (this-> m_value);
  }

  constexpr T & value () & {
    if (has_value ()) {
      вернуть это-> m_value;
    }
    бросить bad_optional_access ();
  }

  constexpr T const & value () const & {
    if (has_value ()) {
      вернуть это-> m_value;
    }
    бросить bad_optional_access ();
  }

  constexpr T && value () && {
    if (has_value ()) {
      возвратный ход (this-> m_value);
    }
    бросить bad_optional_access ();
  }

  constexpr T const && value () const && {
    if (has_value ()) {
      возвратный ход (this-> m_value);
    }
    бросить bad_optional_access ();
  }
  //...
};  

  шаблон 
class optional {
  // ...
  шаблон 
  constexpr like_t  && operator * (this Self && self) {
    возврат вперед  (self) .m_value;
  }

  шаблон 
  constexpr like_t  && value (this Self && self) {
    if (this-> has_value ()) {
      возврат вперед  (self) .m_value;
    }
    бросить bad_optional_access ();
  }
  //...
};  

  шаблон 
class optional {
  // ...
  шаблон <имя типа F>
  constexpr auto and_then (F && f) & {
    используя результат =
      invoke_result_t ;
    static_assert (
      is_optional <результат> :: значение,
      «F должен возвращать необязательный параметр»);

    вернуть has_value ()
        ? invoke (вперед  (f), ** this)
        : нуллопт;
  }

  шаблон <имя типа F>
  constexpr auto and_then (F && f) && {
    используя результат =
      invoke_result_t ;
    static_assert (
      is_optional <результат> :: значение,
      «F должен возвращать необязательный параметр»);

    вернуть has_value ()
        ? invoke (вперед  (f),
                 двигаться (** это))
        : нуллопт;
  }

  шаблон <имя типа F>
  constexpr auto and_then (F && f) const & {
    используя результат =
      invoke_result_t ;
    static_assert (
      is_optional <результат> :: значение,
      «F должен возвращать необязательный параметр»);

    вернуть has_value ()
        ? invoke (вперед  (f), ** this)
        : нуллопт;
  }

  шаблон <имя типа F>
  constexpr auto and_then (F && f) const && {
    используя результат =
      invoke_result_t ;
    static_assert (
      is_optional <результат> :: значение,
      «F должен возвращать необязательный параметр»);

    вернуть has_value ()
        ? invoke (вперед  (f),
                 двигаться (** это))
        : нуллопт;
  }
  //...
};  

  шаблон 
class optional {
  // ...
  template 
  constexpr auto and_then (это Self && self, F && f) {
    используя val = decltype ((
        вперед  (self) .m_value));
    используя result = invoke_result_t ;

    static_assert (
      is_optional <результат> :: значение,
      «F должен возвращать необязательный параметр»);

    вернуть это-> has_value ()
        ? invoke (вперед  (f),
                 вперед <Сам> (сам).m_value)
        : нуллопт;
  }
  // ...
};  

  шаблон 
struct add_postfix_increment {
    Производный оператор ++ (int) {
        auto & self = static_cast <Производный &> (* это);

        Получено tmp (self);
        ++ себя;
        return tmp;
    }
};

struct some_type: add_postfix_increment  {
    some_type & operator ++ () {...}
};  

  struct add_postfix_increment {
    шаблон 
    автоматический оператор ++ (это Self && self, int) {
        auto tmp = self;
        ++ себя;
        return tmp;
    }
};



struct some_type: add_postfix_increment {
    некоторый_тип и оператор ++ () {...}
};  

  struct Builder {
  Строитель & a () {/ * ... * /; return * this; }
  Строитель & b () {/ *... * /; return * this; }
  Строитель & c () {/ * ... * /; return * this; }
};

Строитель (). A (). B (). A (). B (). C ();  

  шаблон 
class Builder {
  using Derived = conditional_t ​​, Builder, D>;
  Производные & self () {
    return * static_cast  (это);
  }

общественность:
  Получено & a () {/ *... * /; return self (); }
  Получено & b () {/ * ... * /; return self (); }
  Получено & c () {/ * ... * /; return self (); }
};

struct Special: Builder  {
  Special & d () {/ * ... * /; return * this; }
  Special & e () {/ * ... * /; return * this; }
};

Строитель (). A (). B (). A (). B (). C ();
Special (). A (). D (). E (). A ();  

  struct Builder {
    шаблон 
    Я && (this Я && я) {/ * ... * /; вернуть себя; }

    шаблон 
    Self & b (это Self && self) {/ *... * /; вернуть себя; }

    шаблон 
    Self & c (this Self && self) {/ * ... * /; вернуть себя; }
};

struct Special: Builder {
    Special & d () {/ * ... * /; return * this; }
    Special & e () {/ * ... * /; return * this; }
};

Строитель (). A (). B (). A (). B (). C ();
Special (). A (). D (). E (). A ();  

  шаблон 
class Builder {
защищено:
  using Derived = conditional_t ​​, Builder, D>;
  Производные & self () {
    return * static_cast  (это);
  }

общественность:
  Получено & a () {/ * ... * /; return self (); }
  Получено & b () {/ * ... * /; return self (); }
  Получено & c () {/ *... * /; return self (); }
};

шаблон 
struct Special
  : Builder , Special , D>
{
  using Derived = typename Special :: Builder :: Derived;
  Получено & d () {/ * ... * /; вернуть this-> self (); }
  Производный & e () {/ * ... * /; вернуть this-> self (); }
};

struct Super: Special 
{
    Super & f () {/ * ... * /; return * this; }
};

Строитель (). A (). B (). A (). B (). C ();
Special (). A (). D (). E (). A ();
Супер (). A (). D (). F (). E ();  

  struct Builder {
    шаблон 
    Я && (this Я && я) {/ *... * /; вернуть себя; }

    шаблон 
    Self & b (это Self && self) {/ * ... * /; вернуть себя; }

    шаблон 
    Self & c (this Self && self) {/ * ... * /; вернуть себя; }
};

struct Special: Builder {
    шаблон 
    Я & d (this Я && я) {/ * ... * /; вернуть себя; }

    шаблон 
    Self & e (это Self && self) {/ * ... * /; вернуть себя; }
};

struct Super: Special {
    шаблон 
    Self & f (это Self && self) {/ *... * /; вернуть себя; }
};

Строитель (). A (). B (). A (). B (). C ();
Special (). A (). D (). E (). A ();
Супер (). A (). D (). F (). E ();  

  // как предложено в P0839
auto fib = [] self (int n) {
    если (n <2) return n;
    вернуть себя (n-1) + self (n-2);
};

// это предложение
auto fib = [] (this auto const & self, int n) {
    если (n <2) return n;
    вернуть себя (n-1) + self (n-2);
};  

  struct Node;
using Tree = option ;
struct Node {
    Дерево осталось;
    Дерево справа;
};

int num_leaves (константа дерева и дерево) {
    ответный визит (overload (// <----------------------------------- +
        [] (Leaf const &) {return 1; }, // |
        [] (this auto const & self, Node * n) -> int {// |
            ответный визит (self, n-> left) + visit (self, n-> right); // <---- +
        }
    ), дерево);
}  

  struct my_vector: vector  {
  автосортировка (это my_vector self) -> my_vector {
    sort (self.begin (), self.end ());
    вернуть себя;
  }
};  

  шаблон <диаграмма классов, признаки класса = char_traits <диаграмма>>
class basic_string_view {
частный:
    const_pointer data_;
    size_type size_;
общественность:
    constexpr const_iterator begin (this basic_string_view self) {
        вернуть себя.данные_;
    }

    constexpr const_iterator end (это собственное представление basic_string_view) {
        вернуть self.data_ + self.size_;
    }

    constexpr size_t size (это basic_string_view self) {
        вернуть self.size_;
    }

    constexpr const_reference operator [] (this basic_string_view self, size_type pos) {
        return self.data_ [pos];
    }
};  

  struct less_than {
  template 
  bool operator () (T const & lhs, U const & rhs) {
    return lhs  

  struct less_than {
  template 
  bool operator () (это less_than,
          T const & lhs, U const & rhs) {
    return lhs  

  шаблон 
class call_wrapper {
    F f;
общественность:
    //...
    шаблон <имя_типа ... аргументы>
    автоматический оператор () (аргументы && ...) &
        -> decltype (! declval > ());

    шаблон 
    автоматический оператор () (аргументы && ...) const &
        -> decltype (! declval > ());

    // ... то же самое для && и const && ...
};

шаблон <имя типа F>
auto not_fn (F && f) {
    return call_wrapper > {вперед  (f)};
}  

  struct unfriendly {
    шаблон <имя типа T>
    автооператор () (T v) {
        static_assert (is_same_v );
        вернуть v;
    }

    шаблон <имя типа T>
    автооператор () (T v) const {
        static_assert (is_same_v );
        вернуть v;
    }
};

struct fun {
    template 
    void operator () (Args && ...) = delete;

    шаблон 
    bool operator () (Args && ...) const {return true; }
};

std :: not_fn (недружелюбно {}) (1); // статическое утверждение!
                              // даже если неконстантная перегрузка жизнеспособна и будет
                              // наилучшее совпадение при разрешении перегрузки обе перегрузки
                              // недружественный должен быть создан - а второй - это
                              // жесткая ошибка компиляции.std :: not_fn (забава {}) (); // хорошо!? Возвращает false
                              // даже если мы хотим удалить неконстантную перегрузку,
                              // константная перегрузка call_wrapper становится жизнеспособной - и
                              // единственный жизнеспособный кандидат.  

  шаблон 
struct call_wrapper {
  F f;

  template 
  auto operator () (это Self && self, Args && ... args)
    BOOST_HOF_RETURNS (
      ! invoke (
        вперед <Сам> (сам).е,
        вперед  (args) ...))
};

шаблон <имя типа F>
auto not_fn (F && f) {
  return call_wrapper > {вперед  (f)};
}  

  not_fn (недружелюбный {}) (1); // хорошо
not_fn (веселье {}) (); // ошибка  

  шаблон 
auto not_fn (F && f) {
    return [f = forward  (f)] (это auto && self, auto &&.. аргументы)
        BOOST_HOF_RETURNS (
            ! invoke (
                forward_like  (f),
                вперед  (args) ...))
        ;
}  

  auto fib = [] (this auto && self, int n) {
  если (n <2) return n;
  вернуть себя (n-1) + self (n-2);
}  

  struct Y {
    int f (int, int) const &; // существует
    int g (это Y const &, int, int); // Эта бумага
    int h (это Y, int, int); // эта статья по стоимости
};  

  общедоступный стиль переопределения SelectStyle (элемент объекта, контейнер DependencyObject)
 {
     // ....
 }
  

  общедоступный стиль переопределения SelectStyle (элемент объекта, контейнер DependencyObject)
 {
     var tmp = aStyle; // это ноль
     //....
 }