函数重载及SFINAE

2024-06-16 16:20
文章标签 函数 重载 sfinae

本文主要是介绍函数重载及SFINAE，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

1. C语言不支持函数重载

main.c

// gcc main.c
void f(int x, int y){}void f(double x, double y){}int main(){}

使用指令gcc main.c编译是会报错的，因为C语言是不支持函数重载的，报错信息如下：

main.c:4:6: error: conflicting types for ‘f’; have ‘void(double,  double)’4 | void f(double x, double y){}|      ^
main.c:2:6: note: previous definition of ‘f’ with type ‘void(int,  int)’2 | void f(int x, int y){}|      ^

换成g++ main.c即可编译成功（或者将main.c改成main.cpp使用gcc main.cpp也可编译成功，即让编译器把代码当作C++处理即可）。

2. 关于函数重载编译器会做的事

a. 将所有对应的“同名”候选函数，做成一个集合。
b.根据函数声明，从集合中移除一些不合适的候选函数。此步骤主要依靠SFINAE。
c.在集合中剩余的函数中，依据参数，挑选一个最合适的函数。如果挑选不到，或者无法决定哪个最合适，会报错。
d.如果步骤c中挑选到了最合适的函数，还会继续做一些检查，比如是否是delete的。

3. SFINAE

3.1 SFINAE简单示例

#include <iostream>
#include <typeinfo>
#include <type_traits>/* 此函数仅会被占用字节数大于4的类型匹配上 */
template<class T>
typename std::enable_if<(sizeof(T)>4)>::type len() {std::cout << "sizeof(" << typeid(T).name() << ") is " << sizeof(T) << std::endl;
}/* 此函数仅会被占用字节数小于等于4的类型匹配上 */
template<class T>
typename std::enable_if<(sizeof(T) <= 4)>::type len() {std::cout << "sizeof(" << typeid(T).name() << ") is " << sizeof(T) << std::endl;
}auto main()->int {len<double>();  // sizeof(double) is 8len<float>();   // sizeof(float) is 4len<char>();    // sizeof(char) is 1
}

3.2 不使用SFINAE时编译器未匹配到合适的重载函数

#include <iostream>
#include <vector>
#include <array>
#include <typeinfo>template<class T, size_t N>
size_t foo(const T(&)[N]) {std::cout << "array's size: " << N << std::endl;return N;
}template<class T>
typename T::size_type foo(const T& container) {std::cout << "container's size: " << container.size() << std::endl;   // 错误 C2039	"size": 不是 "Bar" 的成员return container.size();                                              // 错误 C2039	"size": 不是 "Bar" 的成员
}size_t foo(...) {std::cout << "variadic" << std::endl;return 0;
}class Bar {
public:using size_type = size_t;
};auto main()->int {int a[] = {1,2,3,4,5};std::vector<short> vec{ 5,6,7,8,9,0 };foo(a);foo(vec);foo(4);//std::cout << typeid(Bar::size_type).name() << std::endl;foo(Bar());  // ！！！报错是因为此句！！！
}

对上述代码进行编译的时候会报错，报错信息如注释。
本想让foo(Bar());匹配到size_t foo(...)，但实际匹配到是template<class T> typename T::size_type foo(const T& container)，而Bar却没有size()方法。

3.3 使用SFINAE时让编译器匹配到合适的重载函数

SFINAE"Substitution Failure Is Not An Error"替换失败不是个错误。

#include <iostream>
#include <vector>
#include <array>
#include <typeinfo>template<class T, size_t N>
size_t foo(const T(&)[N]) {std::cout << "array's size: " << N << std::endl;return N;
}/* 通过T().size()的方式使得所有没有size()方法的类无法匹配该函数，从而达到SFINAE的目的 */
template<class T>
decltype(T().size(), typename T::size_type()) foo(const T& container) {std::cout << "container's size: " << container.size() << std::endl;return container.size();
}size_t foo(...) {std::cout << "variadic" << std::endl;return 0;
}class Bar {
public:using size_type = size_t;
};auto main()->int {int a[] = {1,2,3,4,5};std::vector<short> vec{ 5,6,7,8,9,0 };foo(a);      // array's size: 5foo(vec);    // container's size: 6foo(4);      // variadicstd::cout << typeid(Bar::size_type).name() << std::endl;  // mfoo(Bar());  // variadicdecltype(int()) ab;std::cout << double() << ", " << int() << std::endl;  // 0, 0
}

3.4 利用std::enable_if实现SFINAE让编译器匹配到合适的重载函数

class Bar {
public:using size_type = size_t;
};template<class T, size_t N>
size_t foo(const T(&)[N]) {std::cout << "array's size: " << N << std::endl;return N;
}template<class T, class U = typename std::enable_if<!std::is_same_v<T, Bar>>::type>
typename T::size_type foo(const T& container) {std::cout << "container's size: " << container.size() << std::endl;return container.size();
}size_t foo(...) {std::cout << "variadic" << std::endl;return 0;
}auto main()->int {int a[] = {1,2,3,4,5};std::vector<short> vec{ 5,6,7,8,9,0 };foo(a);foo(vec);foo(4);//std::cout << typeid(Bar::size_type).name() << std::endl;foo(Bar());
}

输出：

array's size: 5
container's size: 6
variadic
variadic

4. std::enable_if与std::is_same用法拓展

4.1 示例一

#include <iostream>
#include <type_traits>class CFoo1{
public:using size_type = unsigned int;
};class CFoo2{
public:using size_type = unsigned int;
};template<class T, typename std::enable_if<std::is_same<T, CFoo1>::value>::type* = nullptr>
void bar(){std::cout << __PRETTY_FUNCTION__ << std::endl;
}template<class T, typename std::enable_if<std::is_same<T, CFoo2>::value>::type* = nullptr>
void bar(){std::cout << __PRETTY_FUNCTION__ << std::endl;
}auto main()->int {bar<CFoo1>();bar<CFoo2>();
}

输出：

void bar() [with T = CFoo1; typename std::enable_if<std::is_same<T, CFoo1>::value>::type* <anonymous> = 0]
void bar() [with T = CFoo2; typename std::enable_if<std::is_same<T, CFoo2>::value>::type* <anonymous> = 0]

4.2 示例二

与示例一的不同之处在于非类型的模板参数是否有默认值，示例一有默认值在调用时第二个参数可以不给，示例二无默认值调用时需要显示实例化。

#include <iostream>
#include <type_traits>class CFoo1{
public:using size_type = unsigned int;
};class CFoo2{
public:using size_type = unsigned int;
};template<class T, typename std::enable_if<std::is_same<T, CFoo1>::value>::type* /*= nullptr*/>
void bar(){std::cout << __PRETTY_FUNCTION__ << std::endl;
}template<class T, typename std::enable_if<std::is_same<T, CFoo2>::value>::type* /*= nullptr*/>
void bar(){std::cout << __PRETTY_FUNCTION__ << std::endl;
}auto main()->int {bar<CFoo1, nullptr>();bar<CFoo2, nullptr>();
}

输出：

void bar() [with T = CFoo1; typename std::enable_if<std::is_same<T, CFoo1>::value>::type* <anonymous> = 0]
void bar() [with T = CFoo2; typename std::enable_if<std::is_same<T, CFoo2>::value>::type* <anonymous> = 0]

4.3 示例三

#include <iostream>
#include <typeinfo>
#include <type_traits>template<class T>
typename std::enable_if<(sizeof(T)>4)>::type len() {std::cout << "sizeof(" << typeid(T).name() << ") is " << sizeof(T) << std::endl;
}template<class T>
typename std::enable_if<(sizeof(T) <= 4)>::type len() {std::cout << "sizeof(" << typeid(T).name() << ") is " << sizeof(T) << std::endl;
}auto main()->int {len<double>();  // sizeof(double) is 8len<float>();   // sizeof(float) is 4len<char>();    // sizeof(char) is 1
}

这篇关于函数重载及SFINAE的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/1066936。

相关文章

Python itertools中accumulate函数用法及使用运用详细讲解

Python itertools中accumulate函数用法及使用运用详细讲解

《Pythonitertools中accumulate函数用法及使用运用详细讲解》：本文主要介绍Python的itertools库中的accumulate函数,该函数可以计算累积和或通过指定函数... 目录1.1前言：1.2定义：1.3衍生用法：1.3Leetcode的实际运用:总结 1.1前言：本文将详
阅读更多...
轻松上手MYSQL之JSON函数实现高效数据查询与操作

轻松上手MYSQL之JSON函数实现高效数据查询与操作

《轻松上手MYSQL之JSON函数实现高效数据查询与操作》：本文主要介绍轻松上手MYSQL之JSON函数实现高效数据查询与操作的相关资料,MySQL提供了多个JSON函数,用于处理和查询JSON数... 目录一、jsON_EXTRACT 提取指定数据二、JSON_UNQUOTE 取消双引号三、JSON_KE
阅读更多...
MySQL数据库函数之JSON_EXTRACT示例代码

MySQL数据库函数之JSON_EXTRACT示例代码

《MySQL数据库函数之JSON_EXTRACT示例代码》：本文主要介绍MySQL数据库函数之JSON_EXTRACT的相关资料,JSON_EXTRACT()函数用于从JSON文档中提取值,支持对... 目录前言基本语法路径表达式示例示例 1: 提取简单值示例 2: 提取嵌套值示例 3: 提取数组中的值注意
阅读更多...
Java function函数式接口的使用方法与实例

Java function函数式接口的使用方法与实例

《Javafunction函数式接口的使用方法与实例》：本文主要介绍Javafunction函数式接口的使用方法与实例,函数式接口如一支未完成的诗篇,用Lambda表达式作韵脚,将代码的机械美感... 目录引言-当代码遇见诗性一、函数式接口的生物学解构1.1 函数式接口的基因密码1.2 六大核心接口的形态学
阅读更多...
Oracle的to_date()函数详解

Oracle的to_date()函数详解

《Oracle的to_date()函数详解》Oracle的to_date()函数用于日期格式转换,需要注意Oracle中不区分大小写的MM和mm格式代码,应使用mi代替分钟,此外,Oracle还支持毫... 目录oracle的to_date()函数一.在使用Oracle的to_date函数来做日期转换二.日
阅读更多...
C++11的函数包装器std::function使用示例

C++11的函数包装器std::function使用示例

《C++11的函数包装器std::function使用示例》C++11引入的std::function是最常用的函数包装器,它可以存储任何可调用对象并提供统一的调用接口,以下是关于函数包装器的详细讲解... 目录一、std::function 的基本用法1. 基本语法二、如何使用 std::function
阅读更多...
hdu1171（母函数或多重背包）

hdu1171（母函数或多重背包）

题意：把物品分成两份，使得价值最接近 可以用背包，或者是母函数来解，母函数（1 + x^v+x^2v+.....+x^num*v）（1 + x^v+x^2v+.....+x^num*v）（1 + x^v+x^2v+.....+x^num*v） 其中指数为价值，每一项的数目为（该物品数+1）个 代码如下： #include<iostream>#include<algorithm>
阅读更多...
C++操作符重载实例(独立函数)

C++操作符重载实例(独立函数)

C++操作符重载实例，我们把坐标值CVector的加法进行重载，计算c3=c1+c2时，也就是计算x3=x1+x2，y3=y1+y2，今天我们以独立函数的方式重载操作符+（加号），以下是C++代码： c1802.cpp源代码： D:\YcjWork\CppTour>vim c1802.cpp #include <iostream>using namespace std;/*** 以独立函数
阅读更多...
函数式编程思想

函数式编程思想

我们经常会用到各种各样的编程思想，例如面向过程、面向对象。不过笔者在该博客简单介绍一下函数式编程思想. 如果对函数式编程思想进行概括，就是f(x) = na(x) , y=uf(x)…至于其他的编程思想，可能是y=a(x)+b(x)+c(x)…，也有可能是y=f(x)=f(x)/a + f(x)/b+f(x)/c… 面向过程的指令式编程 面向过程，简单理解就是y=a(x)+b(x)+c(x)
阅读更多...
利用matlab bar函数绘制较为复杂的柱状图，并在图中进行适当标注

利用matlab bar函数绘制较为复杂的柱状图，并在图中进行适当标注

示例代码和结果如下：小疑问：如何自动选择合适的坐标位置对柱状图的数值大小进行标注？😂 clear; close all;x = 1:3;aa=[28.6321521955954 26.2453660695847 21.69102348512086.93747104431360 6.25442246899816 3.342835958564245.51365061796319 4.87
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2