脚本之家 服务器常用软件
快捷导航
您的位置：首页 → 软件编程 → C 语言 → C++泛型模板约束

C++泛型模板约束深入讲解

 更新时间：2022年09月21日 08:31:58   作者：liulilittle  
C/C++ 作为 C# 语言的前置版本，ECMA工业化编程语言，自然是存在 “泛型模板约束” 的功能的，只是本文不以 C/C++ 20 新语法搞出来的 “requires” 关键字来实现，它很难用

CPP参考：（新标准）

传送门

模板对于类型的约束：

约束 template_get_size 泛型T只允许接受类型：list<T>，其实为 C/C++ 泛型模板例化特性，但与泛型模板例化略微有些区别，因为是带泛型类型约束条件的特例化。

template<typename T>
class list {
public:
    int count = 0;
};
template<typename T>
struct template_get_size;
template<typename T>
struct template_get_size<list<T> > {
    inline std::size_t size(list<T>& v) {
        return v.count;
    }
};
int main(int argc, const char* argv[]) noexcept {
    list<int> list_;
    list_.count = 100;
    template_get_size<list<int> > list_get_size_;
    printf("%d\n", list_get_size_.size(list_));
    return 0;
}

但，template_get_size<int> 仍然可以尝试编译，从语法层面没有问题，但会编译失败，原因：C/C++ 使用不完整的类型。

人们无法在编译期间来增加更多检查约束的有效性。

例一：

template<typename T>
struct template_get_size {
    static_assert(false, "Type constraints of generic templates are violated.");
};

例二：

template<typename T>
struct template_get_size;
template<typename T>
struct template_get_size<T> {
    static_assert(false, "Type constraints of generic templates are violated.");
};

上述适用于泛型模板类/结构体，同理泛型模板函数仍可以增加泛型约束，只是没有办法向模板类型一样可以明确的约束T到底需要是什么类型，这取决于模板函数内部的实现，根代码粘合剂差不多，但不意味着不能精确限制那些T类型。

泛型模板类型例化：

class A {};
class B : public A {};
template<typename T>
class say;
template<>
class say<A> {};

例如：人们需要T是一个指针，那么有以下几种方法约束：

案例一：

template<typename T>
void foo(const T* v) {}

案例二：

template<typename T>
void foo(const T& v) {
    typedef typename std::remove_pointer<T>::type element_type;
    element_type* p = NULL;
}

如果：

人们需要T是一个基类，那么这种似乎不需要模板来实现，如果是模板大约是这样的形式：

约束T必须是A类或其派生类型，但使用该模板函数的开放人员只有两个途径搞清楚T到底被约束为什么。

即：1、函数注释上明确T的约束类型，2、查看模板函数的内部实现，不像C#中明确为泛型模板类型 T 增加显示一致性的 where T 约束条件。

class A {};
class B : public A {};
template<typename T>
void foo(const T* v) {
    A* a = const_cast<T*>(v);
}
int main(int argc, const char* argv[]) noexcept {
    B b;
    foo(&b);
    return 0;
}

一个好的建议是：

每个泛型模板的类型约束都应在类型/函数注释上明确指出，这样使用模板的开发人员不需要尝试预编译代码或阅读模板代码实现来判定模板代码约束条件。

到此这篇关于C++泛型模板约束深入讲解的文章就介绍到这了,更多相关C++泛型模板约束内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！

您可能感兴趣的文章:

相关文章

  • C++中多才多艺的 const

    C++中多才多艺的 const

    在C++中，关键字const可以用来修饰任何作用域内的变量、函数参数、函数本体、函数返回值、成员函数、迭代器，也可以用来修饰指针本身和指针目标，可谓多才多艺，我们要详细了解其内部细节，以及逻辑奥秘，让这把多功能瑞士军刀尽情发挥其作用,需要的朋友可以参考一下
    2021-09-09
  • C++基于特征向量的KNN分类算法

    C++基于特征向量的KNN分类算法

    这篇文章主要为大家详细介绍了C++基于特征向量的KNN分类算法，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
    2018-12-12
  • C++11互斥量的具体使用

    C++11互斥量的具体使用

    互斥量是一种同步原语,是一种线程同步的手段,用来保护多线程同时访问的共享数据,本文主要介绍了C++11互斥量的具体使用,感兴趣的可以了解一下
    2023-11-11
  • 如何用C++求两个数的最大公约数和最小公倍数

    如何用C++求两个数的最大公约数和最小公倍数

    最大公约数是指两个或多个整数共有约数中,最大的一个约数,常用的方法是欧几里得算法,也叫辗转相除法,下面这篇文章主要给大家介绍了关于如何用C++求两个数的最大公约数和最小公倍数的相关资料,需要的朋友可以参考下
    2023-01-01
  • C++基于reactor的服务器百万并发实现与讲解

    C++基于reactor的服务器百万并发实现与讲解

    这篇文章主要介绍了C++基于reactor的服务器百万并发实现与讲解，本文通过实例图文相结合给大家介绍的非常详细，对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
    2022-07-07
  • C语言学生成绩管理系统源码

    C语言学生成绩管理系统源码

    这篇文章主要为大家详细介绍了C语言学生成绩管理系统源码，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
    2022-03-03
  • C语言线性表全面梳理操作方法

    C语言线性表全面梳理操作方法

    线性表，数据结构中最简单的一种存储结构，专门用于存储逻辑关系为"一对一"的数据。线性表是基于数据在实际物理空间中的存储状态，又可细分为顺序表（顺序存储结构）和链表
    2022-04-04
  • 基于Matlab实现山脊图的绘制

    基于Matlab实现山脊图的绘制

    这篇文章主要介绍了如何利用Matlab实现山脊图的绘制，文中的示例代码讲解详细，对我们学习Matlab有一定的帮助，需要的可以参考一下
    2022-05-05
  • C++的继承法则详解

    C++的继承法则详解

    本文详细介绍了C++中的继承机制,包括继承的概念、定义、使用方法、访问限定符、赋值兼容转换、作用域、默认成员函数、友元关系、静态成员以及单继承、多继承和菱形继承,感兴趣的朋友跟随小编一起看看吧
    2024-11-11
  • C语言实现简单通讯录管理系统

    C语言实现简单通讯录管理系统

    这篇文章主要为大家详细介绍了C语言实现简单通讯录管理系统，文中示例代码介绍的非常详细，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
    2021-07-07

最新评论