通过模板特化包装实现分支计算

128 篇文章 0 订阅

外覆器:跨越编译期和运行期的边界。

#include <iostream>

using namespace std;

template<bool>
struct select_impl
{
	template<typename T>
	static void print(T)
	{
		cout << T::value << endl;
	}
};

template<>
struct select_impl<false>
{
	template<typename T>
	static void print(T x)
	{
		cout << x << endl;
	}
};

template<typename T>
void f(T x)
{
	select_impl<is_class<T>::value>::print(x);
}

struct TestClass
{
	static const int value{ 100 };
};

int main(int argc, char* argv[])
{
	f(20);
	f(TestClass());

	return 0;
}

 

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
C++ 函数模板特化是指为特定的数据类型或者特定的函数参数提供特殊的实现。这样可以在处理某些特殊情况时,使用不同的实现逻辑,以满足特定的需求。 函数模板特化的语法如下: ```cpp template <> return_type function_name<specific_type>(parameters) { // 实现特化的代码 } ``` 其中,`template <>` 表示这是一个函数模板特化版本,`specific_type` 是要特化的数据类型,`function_name` 是要特化的函数名,`parameters` 是函数的参数列表,`return_type` 是函数的返回类型。 举个例子,设我们有一个通用的函数模板用于计算两个数相加: ```cpp template <typename T> T add(T a, T b) { return a + b; } ``` 如果我们想要为 `int` 类型提供一个特化版本,实现乘法运算而不是加法运算,可以这样写: ```cpp template <> int add<int>(int a, int b) { return a * b; } ``` 这样,在使用 `add` 函数模板时,如果参数是 `int` 类型,就会自动选择特化版本进行计算。 需要注意的是,函数模板特化是根据数据类型进行匹配的,而不是根据参数数量或者参数类型进行匹配。因此,在进行函数模板特化时,要确保特化版本与通用版本的参数类型和数量完全一致,否则可能会导致编译错误。 另外,还可以进行部分特化,即只特化其中一部分参数类型。部分特化的语法与完全特化类似,只是在模板参数列表中指定部分参数类型即可。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值