Concepts TS

Здравствуйте,

У меня такой вопрос: Вот есть у нас TS по концептам (n4553.pdf), и в этом самом TS сказано что если у нас есть функция вида
, где R - constrained-type-specifier (имя концепта), то параметры p1 и p2 имеют один тип.

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

Ящитаю что такое решение не верно потому что утка 1 хоть и выглядит как утка 2, но издаёт звуки и дрыгает лапками по другому, а также есть информация что утки в камуфляже, а это значит, что весьма вероятно что утки таки разные.

А что по этому поводу думаете вы? Какаяие музыкаутки вам нравиятся?

0

Сообщение от NotNot что весьма вероятно что утки таки разные.

но всё же - утки.

0

Сообщение от Croessmah но всё же - утки

но всё же - разные.

0

Сообщение от NotNot но всё же - разные.

Утка, крякающая по другому - тоже утка, просто имеет другое состояние.

0

Сообщение от Croessmah Утка, крякающая по другому - тоже утка, просто имеет другое состояние.

Имеет другое состояние, да. Одинаковое поведение (R), да. Но утка домашняя (decltype(p1)), это не тоже самое что, белощекая шилохвость с Галапагосских островов (decltype(p2)).

0