std::is_void的内部实现

最新推荐文章于 2023-10-25 08:30:00 发布

学完就忘

最新推荐文章于 2023-10-25 08:30:00 发布

阅读量298

点赞数

文章标签：算法

本文链接：https://blog.csdn.net/qq_18626745/article/details/127976142

版权

对于c++元编程库中类型判定，例如std::is_void，内部实现都是使用模板。

所以需要了解模板的使用方法，及模板的特化，偏特化，全特化，模板的推导等相关知识。

话不多说，直接上代码。（此代码也只是实现方式之一，了解其精髓，其它亦可解。）

这种实现是没有去除is_void<type>中的type附带的顶层cv属性的。实现模板的推导来实现具体调用哪个版本的模板特化。

template<typename T> // 主模板

struct is_void : std::false_type {};

template<> // 对 T = void 的显式特化

struct is_void<void> : std::true_type {};

template <class _Ty, _Ty _Val>
struct integral_constant {
    static constexpr _Ty value = _Val;

    using value_type = _Ty;
    using type       = integral_constant;

    constexpr operator value_type() co

最低0.47元/天解锁文章

确定要放弃本次机会？

福利倒计时

: :

立减 ¥

普通VIP年卡可用

立即使用

学完就忘

关注关注

0
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
std::is_void的内部实现

元编程之is_void
复制链接

扫一扫

元编程: is_void＜Tp＞

hit1524468的专栏

01-16

148

学习判断类型是否为: void #include <iostream> #include <functional> #include <type_traits> using namespace std; int int_print() { return 0; } void void_print() { } class A { public: A() { a = 10; } int int_print.

C++类型支持之std::is_void

Tony的专栏

10-24

1555

std::is_void主要用于判断指定类型是否为void，注意这里的void包括 void, const void, volatile void 及const volatile void。可能实现为： template<class T> struct is_void: std::is_same<void, typename std::remove_cv<T>::type> {}; #include <iostream> using namespace

参与评论您还未登录，请先登录后发表或查看评论

C++标准模板（STL）- 类型支持（类型特性，is_void，is_null_pointer，is_integral）

qq_40788199的博客

10-25

221

类型特性定义一个编译时基于模板的结构，以查询或修改类型的属性。试图特化定义于头文件的模板导致未定义行为，除了 std::common_type 可依照其所描述特化。定义于头文件的模板可以用不完整类型实例化，除非另外有指定，尽管通常禁止以不完整类型实例化标准库模板。

（C++模板编程）：std::void_t（下）

baidu_41388533的博客

11-15

708

借助void_t和declval实现is_copy_assignable 【引例】 class ACPABL { }; class BCPABL { public: BCPABL& operator=(const BCPABL& tmpobj) //拷贝赋值运算符 { //... return *this; } }; class CCPABL { public: CCPABL& operator=(const CCPABL& tmpobj) = de

闭关之 C++ Template 笔记（五）：Concepts 和 Standard Type Utilitie

jiamada的博客

11-01

815

《C++ Template 第二版》笔记

common_type:std 的实现

06-01

通过研究这些代码，我们可以更深入地了解`std::common_type`的内部实现，以及如何在实际项目中应用它。总的来说，`std::common_type`是C++中一个强大的工具，它提高了代码的泛型性和可复用性，尤其是在模板编程和...

堆栈：用C ++实现堆栈

02-18

throw std::runtime_error("Stack is empty."); } data.pop_back(); } // 查看栈顶元素，但不移除 T& top() const { if (isEmpty()) { throw std::runtime_error("Stack is empty."); } return data.back...

cpp.zip_cpp向量学习_向量实现栈

09-24

接下来，我们将创建一个名为`Stack` 的类，其内部使用`std::vector` 作为数据存储。这个类的接口可能包括以下成员函数： ```cpp class Stack { public: // 构造函数，初始化空栈 Stack() {} // 压栈操作 void ...

堆：用C ++实现的堆

02-21

在C++中，我们可以使用STL（标准模板库）中的`<queue>`头文件来实现优先队列，它内部就是基于堆的。但如果我们需要自定义堆的行为，或者对性能有特定需求，可以使用数组或vector来表示堆，并自己实现上述操作。下面...

C++：C++命名空间与预处理器教程

热门推荐

尘中远的程序开发记录

10-14

6万+

C++11的模板类型判断——std::is_same和std::decay问题提出：有一个模板函数，函数在处理int型和double型时需要进行特殊的处理，那么怎么在编译期知道传入的参数的数据类型是int型还是double型呢？如：#include <iostream> template<typename TYPE> void typeCheck(TYPE data) { //do so

std::is_same的用法

clever101的专栏

03-20

1万+

作者：朱金灿来源：https://blog.csdn.net/clever101 C++11中的std::is_same可以判断输入的类型是否是指定的模板类型。测试代码如下： template<typename T> T* PrintType(int* x) { if (std::is_same<T, int>::value) { std::...

C++11新特性--std::enable_if和SFINAE

$firecat利白的代码足迹$

01-10

5032

https://www.jianshu.com/p/a961c35910d2 名词解释SFINAE SFINAE是英文Substitution failure is not an error的缩写，意思是匹配失败不是错误。这句话什么意思呢？ SFINAE的意思是这样的，假如有一个特化会导致编译时错误(即出现编译失败)，只要还有别的选择可以被选择，那么就无视这个特化错误而去选择另外的可...

C++11之std::is_same和std::decay

tecsai的博客

08-03

3597

使用C++，大家会经常用到模板编程。模板(Templates)使得我们可以生成通用的函数，这些函数能够接受任意数据类型的参数，可返回任意类型的值，而不需要对所有可能的数据类型进行函数重载。这在一定程度上实现了宏（macro）的作用。模板在一定程度上使得程序能够更灵活，但也带来了困扰。由于类型的不确定性，导致对不同类型的数据操作存在不确定性。 C++11提供了type_traits头文件，可用来解决与类型相关的问题。

【C++11学习笔记】类型判断的type_traits学习

华秋实的专栏

08-23

1万+

一、简单的type_traits我理解的type_traits是利用C++模板特性和static、enum特性定义编译器常量，例如//std::integral_constant源码 typelate<class T, T v> struct integral_constant { static const T value = v; typedef T value_type;

C/C++编程：类型

OceanStar的博客

03-11

327

类型类型的分类基础类型（参阅 std::is_fundamental）： void 类型（参阅 std::is_void）； std::nullptr_t 类型(C++11 起) （参阅std::is_null_pointer）；算术类型（参阅 std::is_arithmetic）：浮点类型（float、double、long double）（参阅std::is_floating_point）；整数类型（参阅 std::is_integral）： bool 类型；字符类型：窄字符类

《C++ Primer Plus 6th.ed》读书笔记之四：简单的type_traits实现及其应用

浮生一城的技术手记

02-17

243

本文简述了对内建类型（以void为例）的<type_traits>实现

c++类型支持（基本类型、RTTI、类型特性）

yaorongzhen123的专栏

01-09

702

类型支持（类型系统综述可参阅类型）基本类型语言定义的基础类型附加性基本类型及宏定义于头文件 <cstddef> size_t sizeof 运算符返回的无符号整数类型 (typedef) ptrdiff_t 在两个指针相减时返回的有符号整数类型 (typedef) ...

move std 函数示例_std::enable_if

08-04

### 回答1： `std::enable_if` 是一个用于模板元编程的类型特性，可以根据某些条件来选择是否启用一个模板函数。它通常与函数模板一起使用，以便根据某些条件来选择函数的实现。下面是一个示例代码，展示如何在函数模板中使用 `std::enable_if`。 ```c++ #include <iostream> #include <type_traits> template<typename T> typename std::enable_if<std::is_integral<T>::value, T>::type my_abs(T num) { return num < 0 ? -num : num; } int main() { int a = -5; double b = -3.14; std::cout << my_abs(a) << std::endl; // 输出 5 // std::cout << my_abs(b) << std::endl; // 编译错误，因为 double 不是整数类型 return 0; } ``` 在上面的代码中，`my_abs` 是一个函数模板，它接受一个类型为 `T` 的参数，并返回 `T` 类型的值。然而，`my_abs` 只能用于整数类型，因为我们使用了 `std::enable_if` 来限制了类型。具体来说，我们使用 `std::is_integral<T>::value` 来判断 `T` 是否是整数类型，如果是，则返回 `T` 类型的值；否则，编译器将无法匹配函数模板，从而报错。在上面的示例中，我们给 `my_abs` 函数传递一个整数和一个浮点数作为参数。对于整数参数，`std::enable_if` 的条件为真，从而选择返回整数类型的值；对于浮点数参数，`std::enable_if` 的条件为假，从而导致编译错误。注意，在 C++11 中，`std::enable_if` 是通过 SFINAE 技术实现的，因此它只能用于模板函数和模板类的实例化。如果在普通函数中使用 `std::enable_if`，则会导致编译错误。 ### 回答2： `std::move`函数是C++标准库中的函数之一，用于将对象的所有权转移给另一个对象。在使用`std::move`时，要注意被移动的对象处于有效状态的前提下，即已分配了资源或有某种内部状态。否则，`std::move`可能会导致未定义的行为。 `std::enable_if`是C++标准库中的类型转换辅助工具，用于在编译时根据条件选择是否启用特定函数的重载。如果条件为真，`std::enable_if`将返回一个特定的类型，使得函数重载匹配成功；而如果条件为假，`std::enable_if`将导致该函数在编译时被忽略，从而避免了函数重载冲突。下面是一个使用`std::move`和`std::enable_if`的示例： ```cpp #include <iostream> #include <type_traits> template <typename T> typename std::enable_if<std::is_integral<T>::value, T>::type add(T a, T b) { return a + b; } template <typename T> typename std::enable_if<!std::is_integral<T>::value, T>::type add(T a, T b) { return std::move(a) + std::move(b); } int main() { int a = 1, b = 2; std::cout << add(a, b) << std::endl; // 输出 3 std::string str1 = "Hello", str2 = " World"; std::cout << add(str1, str2) << std::endl; // 输出 "Hello World" return 0; } ``` 上述示例中，定义了一个`add`函数的模板，该函数使用了`std::enable_if`辅助工具。对于整型类型，使用普通的加法；对于其他类型，使用`std::move`将参数转移到临时对象中，并执行加法操作。通过使用`std::enable_if`，我们能够根据参数类型选择适当的重载函数实现，从而实现函数行为的多态性。 ### 回答3： `std::move` 函数是 C++ 标准库中的一个模板函数，它用于将对象转移或者交换所有权。 `std::move` 函数用于将对象的状态或所有权从一个对象转移到另一个对象，通常用于实现移动语义。它接受一个参数，并返回对该参数的右值引用。这意味着 `std::move` 函数可以将传入的对象转换为右值引用，从而允许在移动语义中进行操作。示例：假设有一个自定义的类 `MyClass`，具有合适的移动构造函数和移动赋值运算符。我们可以使用 `std::move` 函数将一个 `MyClass` 类型的对象 `obj1` 的所有权转移到另一个 `MyClass` 类型的对象 `obj2`。 ```cpp MyClass obj1; //... MyClass obj2 = std::move(obj1); ``` 通过调用 `std::move(obj1)`，将 `obj1` 的所有权移动到 `obj2`，`obj1` 将不再持有任何资源。这可以用于避免不必要的拷贝操作，提高程序的性能。此外，`std::move` 函数还可以与其他 C++ 标准库函数以及用户定义的模板函数一起使用。例如，我们可以使用 `std::move` 结合 `std::enable_if` 实现某些类型的特定行为或重载。示例：假设我们编写了一个模板函数 `foo`，它接受一个 `T` 类型的参数，并且仅当 `T` 是可移动的时才进行某些操作。我们可以使用 `std::enable_if` 和 `std::move` 实现这个功能。 ```cpp template<typename T> typename std::enable_if<std::is_move_constructible<T>::value, void>::type foo(T&& obj) { T temp = std::move(obj); // 对 temp 进行特定操作 } int main() { MyClass obj; //... foo(std::move(obj)); //... } ``` 在上面的示例中，`std::enable_if` 用于在 `T` 是可移动的情况下，才实例化 `foo` 函数。然后，`std::move` 用于将参数 `obj` 转移为右值引用，并将其赋值给 `temp`，从而实现特定操作。总结：`std::move` 函数是 C++ 标准库中的一个用于转移对象所有权的模板函数。它可用于实现移动语义，避免不必要的拷贝操作。同时，它可以与其他标准库函数和用户定义的模板函数（如 `std::enable_if`）结合使用，实现特定类型的特定行为或重载。