函数重载及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。

相关文章

Kotlin 作用域函数apply、let、run、with、also使用指南

Kotlin 作用域函数apply、let、run、with、also使用指南

《Kotlin作用域函数apply、let、run、with、also使用指南》在Kotlin开发中,作用域函数（ScopeFunctions）是一组能让代码更简洁、更函数式的高阶函数,本文将... 目录一、引言：为什么需要作用域函数？二、作用域函China编程数详解1. apply：对象配置的 “流式构建器”最
阅读更多...
Android Kotlin 高阶函数详解及其在协程中的应用小结

Android Kotlin 高阶函数详解及其在协程中的应用小结

《AndroidKotlin高阶函数详解及其在协程中的应用小结》高阶函数是Kotlin中的一个重要特性,它能够将函数作为一等公民（First-ClassCitizen）,使得代码更加简洁、灵活和可... 目录1. 引言2. 什么是高阶函数？3. 高阶函数的基础用法3.1 传递函数作为参数3.2 Lambda
阅读更多...
C++中::SHCreateDirectoryEx函数使用方法

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1：创建单层目录示例 2：创建多级目录3. 关键注
阅读更多...
C++中函数模板与类模板的简单使用及区别介绍

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中，模板是实现泛型编程
阅读更多...
kotlin的函数forEach示例详解

kotlin的函数forEach示例详解

《kotlin的函数forEach示例详解》在Kotlin中,forEach是一个高阶函数,用于遍历集合中的每个元素并对其执行指定的操作,它的核心特点是简洁、函数式,适用于需要遍历集合且无需返回值的场... 目录一、基本用法1️⃣ 遍历集合2️⃣ 遍历数组3️⃣ 遍历 Map二、与 for 循环的区别三、高
阅读更多...
C语言字符函数和字符串函数示例详解

C语言字符函数和字符串函数示例详解

《C语言字符函数和字符串函数示例详解》本文详细介绍了C语言中字符分类函数、字符转换函数及字符串操作函数的使用方法,并通过示例代码展示了如何实现这些功能,通过这些内容,读者可以深入理解并掌握C语言中的字... 目录一、字符分类函数二、字符转换函数三、strlen的使用和模拟实现3.1strlen函数3.2st
阅读更多...
MySQL中COALESCE函数示例详解

MySQL中COALESCE函数示例详解

《MySQL中COALESCE函数示例详解》COALESCE是一个功能强大且常用的SQL函数,主要用来处理NULL值和实现灵活的值选择策略,能够使查询逻辑更清晰、简洁,：本文主要介绍MySQL中C... 目录语法示例1. 替换 NULL 值2. 用于字段默认值3. 多列优先级4. 结合聚合函数注意事项总结C
阅读更多...
Java8需要知道的4个函数式接口简单教程

Java8需要知道的4个函数式接口简单教程

《Java8需要知道的4个函数式接口简单教程》：本文主要介绍Java8中引入的函数式接口,包括Consumer、Supplier、Predicate和Function,以及它们的用法和特点,文中... 目录什么是函数是接口？Consumer接口定义核心特点注意事项常见用法1.基本用法2.结合andThen链
阅读更多...
MySQL 日期时间格式化函数 DATE_FORMAT() 的使用示例详解

MySQL 日期时间格式化函数 DATE_FORMAT() 的使用示例详解

《MySQL日期时间格式化函数DATE_FORMAT()的使用示例详解》`DATE_FORMAT()`是MySQL中用于格式化日期时间的函数,本文详细介绍了其语法、格式化字符串的含义以及常见日期... 目录一、DATE_FORMAT()语法二、格式化字符串详解三、常见日期时间格式组合四、业务场景五、总结一、
阅读更多...
golang panic 函数用法示例详解

golang panic 函数用法示例详解

《golangpanic函数用法示例详解》在Go语言中,panic用于触发不可恢复的错误,终止函数执行并逐层向上触发defer,最终若未被recover捕获,程序会崩溃,recover用于在def... 目录1. panic 的作用2. 基本用法3. recover 的使用规则4. 错误处理建议5. 常见错
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2