模板类型扣除失败

Template type deduction fails?

本文关键字：失败 类型      更新时间：2023-10-16

考虑以下示例。

#include <type_traits>
#include <iostream>
using namespace std;
template <typename T_> 
using Integral = typename std::enable_if<std::is_integral<T_>::value,T_>::type;
template <typename T_> 
using NotIntegral = typename std::enable_if<!std::is_integral<T_>::value, T_>::type;
template <typename T_>
void printIt(const Integral<T_> &value) { cout << "Integral == " << value << endl; }
template <typename T_>
void printIt(const NotIntegral<T_> &value) { cout << "Non Integral == " << value << endl; }
template <typename T_>
void foo(const T_ &value) { printIt<T_>(value); }
int main(int argc, char** argv)
{
    printIt<int>(66);   //Must explicitly provide argument type.
    //printIt(33);        //Compiler error. No overloaded function....????
    foo(29.); 
    return 0;
}

为什么我需要明确设置模板参数的类型？编译器是否应该找出int类型参数？

为什么我需要明确设置模板参数的类型？

因为这些是未建立的上下文。

想象一下std::enable_if<std::is_integral<T_>::value,T_>的专业，以便::type评估其他内容。编译器无法知道从typename something<T>::type到T的映射。

您可以通过将std::enable_if作为返回类型的一部分来实现所需的结果，以便将不匹配的过载被淘汰：

template <typename T>
auto printIt(T x) -> std::enable_if_t<std::is_integral_v<T>, void> { /*...*/ }
template <typename T>
auto printIt(T x) -> std::enable_if_t<!std::is_integral_v<T>, void> { /*...*/ }

live wandbox示例

相关文章：