Сообщение Re[3]: GCC10> Концепты от 09.05.2020 9:51
Изменено 09.05.2020 10:02 rg45
Re[3]: GCC10> Концепты
Здравствуйте, Шахтер, Вы писали:
Ш>Вот так делать теперь нельзя. Нужно так
Ш>
R>В принципе, эта форма полностью покрывает все возможности формы template <A T>. Немного меньше синтаксического сахара, но не критично, имхо.
Ш>Да, но раньше писать было удобнее и как бы даже нагляднее. Не критично, да.
Зато эта форма позволит использовать не только T, но и образованные от него типы, наподобие:
Ш>
А раз есть способ сделать и то, и это, то зачем еще рядышком держать какой-то другой способ, покрывающий лишь небольшую часть того, что уже доступно.
Ш>Вот так делать теперь нельзя. Нужно так
Ш>
Ш>template <class T>
Ш>concept B = A<T> && .... ;
Ш>
R>В принципе, эта форма полностью покрывает все возможности формы template <A T>. Немного меньше синтаксического сахара, но не критично, имхо.
Ш>Да, но раньше писать было удобнее и как бы даже нагляднее. Не критично, да.
Зато эта форма позволит использовать не только T, но и образованные от него типы, наподобие:
Ш>
Ш>template <class T>
Ш>concept B = IsDereferenceable<T> && A<DereferencedType<T>> && ...;
Ш>
А раз есть способ сделать и то, и это, то зачем еще рядышком держать какой-то другой способ, покрывающий лишь небольшую часть того, что уже доступно.
Re[3]: GCC10> Концепты
Здравствуйте, Шахтер, Вы писали:
Ш>Вот так делать теперь нельзя. Нужно так
Ш>
R>В принципе, эта форма полностью покрывает все возможности формы template <A T>. Немного меньше синтаксического сахара, но не критично, имхо.
Ш>Да, но раньше писать было удобнее и как бы даже нагляднее. Не критично, да.
Зато эта форма позволит использовать не только T, но и образованные от него типы, наподобие:
Ш>
А раз есть способ сделать и то, и это, то зачем еще рядышком держать какой-то другой способ, покрывающий лишь небольшую часть того, что уже доступно. Ну вот только ради эстетики, разве что.
Ш>Вот так делать теперь нельзя. Нужно так
Ш>
Ш>template <class T>
Ш>concept B = A<T> && .... ;
Ш>
R>В принципе, эта форма полностью покрывает все возможности формы template <A T>. Немного меньше синтаксического сахара, но не критично, имхо.
Ш>Да, но раньше писать было удобнее и как бы даже нагляднее. Не критично, да.
Зато эта форма позволит использовать не только T, но и образованные от него типы, наподобие:
Ш>
Ш>template <class T>
Ш>concept B = IsDereferenceable<T> && A<DereferencedType<T>> && ...;
Ш>
А раз есть способ сделать и то, и это, то зачем еще рядышком держать какой-то другой способ, покрывающий лишь небольшую часть того, что уже доступно. Ну вот только ради эстетики, разве что.