模板功能专业化C [复制]

概述参见英文答案 > Why function template cannot be partially specialized?                                    4个 我需要实现算法,使用模板递归计算两个向量的标量积. 有我的代码： #include <iostream>#include <vector>template<typename T, int S 参见英文答案 > Why function template cannot be partially specialized?4个
我需要实现算法,使用模板递归计算两个向量的标量积.

有我的代码：

#include <iostream>#include <vector>template<typename T,int Size>T scalar_product(const std::vector<T> &a,const std::vector<T> &b){    return a[Size - 1]*b[Size - 1] + (scalar_product<T,Size - 1>(a,b));}template<typename T>T scalar_product<T,0>(const std::vector<T> &a,const std::vector<T> &b) // error!{    return a[0] * b[0];}int main(){    std::vector<int> a(3,1);    std::vector<int> b(3,3);    std::cout << scalar_product<int,3>(a,b);    return 0;}

如果我使用此专业化T scalar_product< T,0>(…),我会收到错误“’scalar_product’：非法使用显式模板参数”.但是,如果我像这样删除T scalar_product(…)编译器报告递归将是无限的(因为没有专业化,据我所知).

这里有很多这类问题,但我找不到有用的答案.如何在不使用类的情况下专门化这个功能？先谢谢你了！

解决方法 有 no partial function template specialization.你可以使用 functor,它可以是部分专业的：

template<typename T,int Size>struct myFunctor{    T scalar_product(const std::vector<T> &a,const std::vector<T> &b)    {        static_assert(Size > 0,"Size must be positive!")        return a[Size - 1]*b[Size - 1] + (myFunctor<typename T,Size - 1>::scalar_product(a,b));    }};template<typename T>struct myFunctor<T,1>{    T scalar_product(const std::vector<T> &a,const std::vector<T> &b)    {        return a[0] * b[0];    }};

或者您可以使用std::enable_if实现部分功能专业化.

template<typename T,int Size>typename std::enable_if<(Size>1),T>::type scalar_product(const std::vector<T> &a,b));}template<typename T,const std::vector<T> &b,typename std::enable_if<(Size == 1),voID*>::type x = nullptr){    return a[0] * b[0];}

请注意,我在2个函数中使用了两种不同的方法来使用std :: enable_if,以表明两者都是可能的.两个函数都可以像第一个函数一样在返回类型上使用enable_if,并且它们都可以像第二个函数那样在参数上使用它们.如需更多阅读,请参阅SFINAE.

或者作为第三个选项,您可以像这样处理函数内部的特殊化：

template<typename T,const std::vector<T> &b){    static_assert(Size > 0,"Size must be positive!")    if (Size==1)        return a[0] * b[0];    return a[Size - 1]*b[Size - 1] + (scalar_product<T,(Size==1) ? Size : Size - 1>(a,b));}

请注意,没有(大小== 0)？大小：大小 – 1,编译器将为int的所有值创建一个函数,或者尝试死.

总结

以上是内存溢出为你收集整理的模板功能专业化C [复制]全部内容，希望文章能够帮你解决模板功能专业化C [复制]所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。