Понимание SFINAE Пример

Question

У меня возникли проблемы с пониманием этого фрагмента кода, который использует SFINAE.

template <typename T> 
auto dist() -> typename std::enable_if<std::is_integral<T>::value, 
             std::uniform_int_distribution<T>>::type; 

template <typename T> 
auto dist() -> typename std::enable_if<std::is_floating_point<T>::value, 
             std::uniform_real_distribution<T>>::type; 
... 

decltype(dist<float>()) unifDistFloat; 
decltype(dist<int>()) unifDistInt; 

dist() это название двух различных функциональных прототипов, так что не тело, содержащее оператор возврата. Это означает, что он никогда не возвращает значение типа uniform_real_distribution<T>, или uniform_int_distribution<T>.

Так не должно decltype не удается вызвать неполную функцию? Или decltype просто не вызывает функцию вообще и вместо этого просто оценивает тип возврата?

Answer 1

decltype - неоценимый контекст. Он просто работает на уровне типа, поэтому, зная, что тело dist, где бы оно ни было, возвращает некоторый тип X.

Answer 2

decltype спецификатор проверяет объявленный тип объекта или запрашивает возвращаемый тип выражения, то есть что он делает.

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

template<typename U > 
static typename std::enable_if<std::is_same<U, int>::value, std::uniform_int_distribution <U>>::type 
dist(); // NOTE: no function body 

template<typename U > 
static typename std::enable_if<std::is_same<U, double>::value, std::uniform_real_distribution <U>>::type 
dist() 
{ 
    //return; // NOTE: no return 
} 
decltype(dist<T>()) mUniformDistribution; 

вероятно, вопрос, почему компилятор не жалуется о функции DIST() как неполные? я понятия не имею, почему это так.

демонстрационный пример

template<typename T > 
class Random 
{ 
public: 
    Random(const T& min, const T& max) 
     : mUniformDistribution(min, max) 
    {} 

    T operator()() 
    { 
     return mUniformDistribution(mEngine); 
    } 

private: 
    std::default_random_engine mEngine{ std::random_device()() }; 

    template<typename U > 
    static typename std::enable_if<std::is_same<U, int>::value, std::uniform_int_distribution <U>>::type 
    dist(); // NOTE: no function body 

    template<typename U > 
    static typename std::enable_if<std::is_same<U, double>::value, std::uniform_real_distribution <U>>::type 
    dist() 
    { 
     //return; // NOTE: no return 
    } 
    decltype(dist<T>()) mUniformDistribution; 
}; 

int main() 
{ 
    Random<int> getRandom(0, 9); 
    for (int i = 0; i<9; ++i) 
     std::cout << getRandom() << '\n'; 
}