C++ ограничения enable_if против требует

Question

Я просто побежал вдоль C++ требует ключевого слова и вы хотите знать, правильно ли я понимаю, до сих пор: Оба требует и enable_if предложение компиляции временных ограничений для шаблонов. Если требует ограничения будут включены вообще.

Где требует предлагает способ ограничения функциональных параметров, enable_if имеет основную цель ограничения времени компиляции перевода в определенных условиях самого типа шаблона.

Примеры:

#include <type_traits> 

template<typename T> 
concept T AdditiveGroup 
{ 
    return requires(const T pA, const T pB) 
    { 
    { pA + pB }->T; 
    }; 
}; 

template<typename T> 
typename std::enable_if<std::is_integral<T>::value, bool>::type 
addElements(const T pA, const T pB) 
{ 
    return (pA + pB); 
} 

Здесь понятие должно работать тогда и только тогда, когда Ра и Рb могут быть добавлены, в то время как условие enable_if ограничивает оценку интегральных типов.

Спасибо, что сообщили мне, если я прав!

P.S .: Я еще не совсем уверен в синтаксисе , требующих ограничений, которые, как представляется, различаются. Кроме того, не знаю, какой компилятор их принимает в данный момент, поэтому спасибо за любые подсказки!

Answer 1

Да, ваше понимание кажется правильным. Использование SFINAE для ограничения шаблонов (например, enable_if) имеет тот же существенный эффект шаблонов с ограничениями по концепции. Однако (как вы упомянули), SFINAE имеет дополнительные побочные эффекты.

Ville's Jacksonville paper О его обосновании для включения концепций в C++ 17 отличная работа по объяснению ловушек ограничений на основе SFINAE по сравнению с концепциями. По существу:

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