为什么我的模板专业化需要匹配原始约束？

如何解决为什么我的模板专业化需要匹配原始约束？

例如，在此代码中：

#include <iostream>
#include <type_traits>

template<typename T>
requires std::is_same_v<T,int> || std::is_same_v<T,float> || std::is_same_v<T,double>
bool foo(const T& value)
{
    return true;
}

template<>
bool foo<double>(const double& value)
{
    return false;
}


int main()
{
    std::cout << foo(12)    << std::endl;
    std::cout << foo(1.2f)  << std::endl;
    std::cout << foo(1.2)   << std::endl;

    return 0;
}

如果我从约束中删除|| std::is_same_v<T,double>，则第三个输出将无法编译。

但是我不明白的是为什么专业化无法自动定义其自身的约束？专业化本身表明无论T是什么都应该是有效的类型，但是现在尝试使用约束要求我提前“记录”所有专业化。考虑一个非玩具示例，其中一个特殊化的功能大相径庭，如果后备版本无法对该特殊化类型进行操作，则将约束中列出的特殊化类型混为一谈。

在我看来，编译器可以自动将特殊类型包含在约束列表中，因为在提出特殊类型不仅仅被视为新约束的情况下，我遇到了麻烦。

我希望有人对这是编译器的技术限制还是委员会决定采用这种方式的其他原因有所了解。

解决方法

相对于主模板定义了模板的显式专业化。没有主要模板，专业化不存在。它们是该主模板的替代方案。

在模板实例化期间，如果一组模板参数未通过约束测试，则实例化该模板失败。它正在实例化一个导致使用显式专门化的主要模板。如果实例化这些模板参数的主模板失败，那么您也无法获得其专门性。