C++初阶之模板深化讲解

在这里插入图片描述

模板深化讲解

  • 非类型模板
  • 模板的特化
    • 1.函数模板特化
    • 2.类模板特化
  • 模板分离编译
    • 1.什么是分离编译
    • 2.模板的分离编译
  • 模板总结

非类型模板

在这里插入图片描述

非类型模板(Non-Type Template)是 C++ 中的一种模板形式,它允许你在模板中传递除了类型以外的其他值,比如整数、枚举、指针等。这些参数可以在编译时被解析,用于生成模板的实例化版本。

非类型模板参数(Non-Type Template Parameter)是在模板声明中,作为参数的一部分,而不是类型的一部分。它们可以是常量表达式,例如整数常量、枚举、指针、引用等。非类型模板参数的值必须在编译时是已知的,因为它们用于生成模板的特定实例。

模板参数分类类型形参与非类型形参。

类型形参:出现在模板参数列表中,跟在class或者typename之类的参数类型名称。
非类型形参:就是用一个常量作为类(函数)模板的一个参数,在类(函数)模板中可将该参数当成常量来使用。
使用非类型模板参数的一个典型示例是实现一个固定大小的数组容器,其中数组的大小在编译时由模板参数指定。

例如,以下是一个使用非类型模板参数的示例:

template <typename T, int Size>
class FixedSizeArray {
private:T data[Size];
public:// ...
};// 实例化一个大小为 10 的 FixedSizeArray,存储 int 类型
FixedSizeArray<int, 10> intArray;

在这个示例中,int Size 就是一个非类型模板参数,它确定了 FixedSizeArray 的数组大小。在编译时,intArray 的大小将被确定为 10,因为在实例化时传递了 10Size 参数。

注意:

  1. 浮点数、类对象以及字符串是不允许作为非类型模板参数的
  2. 非类型的模板参数必须在编译期就能确认结果。

模板的特化

模板的特化Template Specialization)是 C++ 中一种允许你为特定类型或特定条件提供定制化实现的机制。模板特化允许你在针对某些特定类型或条件的情况下,提供一个专门的模板实现,以覆盖通用模板的行为。

在一般的模板中,你可能会为不同类型的数据提供一个通用的模板实现。然而,在某些情况下,特定类型可能需要特殊处理或定制化的行为。这时,你可以通过模板特化来为这些特定类型提供特殊实现。

模板特化分为两种类型:

类模板特化(Class Template Specialization):针对特定类型的特殊实现。
函数模板特化(Function Template Specialization):针对特定类型的特殊实现。

在某些情况下,如果没有使用模板的特化,可能会导致编译器选择错误的实现,从而产生不明确的错误或意外的行为。一个常见的情况是函数模板的参数匹配不明确,编译器无法确定应该使用哪个模板实现。这种情况下,特化可以提供明确的信息,帮助编译器正确选择实现。

以下是一个示例,展示在没有模板特化的情况下可能会发生的问题:

#include <iostream>template <typename T>
void printType(T value) {std::cout << "Generic template" << std::endl;
}// 模板特化版本,针对 int 类型
template <>
void printType<int>(int value) {std::cout << "Specialized template for int" << std::endl;
}int main() {int num = 5;printType(num);  // 编译错误,不明确的调用return 0;
}

在上面的示例中,没有模板特化的情况下,编译器无法确定应该调用哪个模板实现,因为 printType 函数可以接受任何类型的参数。这会导致编译错误,因为编译器无法根据上下文来选择正确的实现。

通过为 printType<int> 提供特化版本,我们可以明确告诉编译器在处理 int 类型参数时应该使用哪个实现。这种情况下,特化可以解决不明确调用的问题,确保编译器选择正确的实现。

1.函数模板特化

函数模板的特化步骤:

  1. 必须要先有一个基础的函数模板
  2. 关键字template后面接一对空的尖括号<>
  3. 函数名后跟一对尖括号,尖括号中指定需要特化的类型
  4. 函数形参表: 必须要和模板函数的基础参数类型完全相同,如果不同编译器可能会报一些奇怪的错误。

函数模板特化的示例:

#include <iostream>// 通用的函数模板
template <typename T>
T add(T a, T b) {return a + b;
}// 函数模板的特化版本,针对 int 类型
template <>
int add(int a, int b) {std::cout << "Specialized version for int" << std::endl;return a + b + 10;
}int main() {int result1 = add(5, 3);    // 调用通用版本std::cout << "Result 1: " << result1 << std::endl;  // 输出: 8int result2 = add<int>(5, 3);  // 调用特化版本std::cout << "Result 2: " << result2 << std::endl;  // 输出: Specialized version for int// Result 2: 18return 0;
}

在上面的示例中,add 是一个函数模板,用于计算两个数的和。通过为 add<int> 提供特化版本,我们覆盖了默认的行为,并在特定类型下进行了定制化的操作。在 main 函数中,我们展示了如何调用通用版本和特化版本,以及它们的输出结果。

注意一般情况下如果函数模板遇到不能处理或者处理有误的类型,为了实现简单通常都是将该函数直接给出。

2.类模板特化

在 C++ 中,类模板特化是指为特定类型或条件提供定制化的类模板实现。有两种类型的类模板特化:全特化(Full Specialization)和偏特化(Partial Specialization)。

全特化Full Specialization):全特化是针对特定类型的完整特化。当你为某个特定类型提供了一个完整的特化版本,它将会覆盖通用的类模板定义。全特化的语法是在模板名后面添加 <> 并指定特化的类型。

示例:

// 通用的类模板
template <typename T>
class MyTemplate {
public:void print() {std::cout << "Generic Template" << std::endl;}
};// 类模板的全特化版本,针对 int 类型
template <>
class MyTemplate<int> {
public:void print() {std::cout << "Specialized Template for int" << std::endl;}
};

偏特化Partial Specialization):偏特化是在某些条件下对模板参数进行特化,通常用于更细粒度的定制。偏特化允许你为某些特定情况提供特化版本,而不是为每个类型提供完整的特化版本。偏特化的语法是在模板名后面添加 <>,并在尖括号中指定要特化的参数。

示例:

// 通用的类模板
template <typename T, typename U>
class Pair {
public:Pair(T first, U second) : first_(first), second_(second) {}void print() {std::cout << "Generic Pair: " << first_ << ", " << second_ << std::endl;}
private:T first_;U second_;
};// 类模板的偏特化版本,针对两个相同类型的参数
template <typename T>
class Pair<T, T> {
public:Pair(T first, T second) : first_(first), second_(second) {}void print() {std::cout << "Specialized Pair for same type: " << first_ << ", " << second_ << std::endl;}
private:T first_;T second_;
};

在上述示例中,全特化针对整型类型提供了特化版本,而偏特化则针对两个相同类型的参数提供了特化版本。

总结:

全特化:为特定类型提供完整特化版本。
偏特化:为特定情况或条件提供特化版本。

通过使用模板特化,你可以在需要定制化行为的情况下,为类模板提供精确的实现,增强了模板的灵活性和适用性。

类模板允许我们为不同的数据类型提供相同的代码结构,以适应多种类型的需求。然而,在某些情况下,编译器可能无法推断出如何比较不同类型的对象。这就是为什么在下面的示例中,如果不使用类模板的特化,编译器可能无法正确排序日期类的原因。

在默认情况下,std::sort 函数使用元素的<运算符来比较元素的大小。对于基本类型(如整数)或支持 < 运算符的类型,这是没有问题的。但对于自定义类型(如日期类),编译器无法知道如何执行比较。

通过使用类模板的特化,我们为不同类型的日期类提供了明确的比较逻辑,即 operator< 运算符的重载。这告诉编译器如何在特定情况下比较日期对象,使得 std::sort 函数能够正确工作。

特化类模板允许我们在需要的地方为特定类型提供定制的实现,从而解决编译器无法推断的问题,确保程序能够正确运行。

下面是一个关于日期类的示例,使用类模板特化来比较大小,并通过 std::sort 函数对日期进行排序
在示例中,我们定义了一个 Date 类模板,然后为 Date 类提供了特化版本,用于实现日期的比较操作:

#include <iostream>
#include <vector>
#include <algorithm>// 通用的类模板
template <typename T>
class Date {
public:Date(T year, T month, T day) : year_(year), month_(month), day_(day) {}// 比较运算符bool operator<(const Date& other) const {if (year_ != other.year_) return year_ < other.year_;if (month_ != other.month_) return month_ < other.month_;return day_ < other.day_;}void print() {std::cout << year_ << "-" << month_ << "-" << day_ << std::endl;}private:T year_;T month_;T day_;
};// 类模板的特化版本,用于 int 类型
template <>
class Date<int> {
public:Date(int year, int month, int day) : year_(year), month_(month), day_(day) {}bool operator<(const Date<int>& other) const {if (year_ != other.year_) return year_ < other.year_;if (month_ != other.month_) return month_ < other.month_;return day_ < other.day_;}void print() {std::cout << year_ << "-" << month_ << "-" << day_ << std::endl;}private:int year_;int month_;int day_;
};int main() {std::vector<Date<int>> dates = {{2022, 8, 15},{2021, 12, 25},{2022, 1, 1},{2022, 3, 20}};std::cout << "Before sorting:" << std::endl;for (const auto& date : dates) {date.print();}std::sort(dates.begin(), dates.end());std::cout << "After sorting:" << std::endl;for (const auto& date : dates) {date.print();}return 0;
}

在上面的示例中,我们首先定义了一个通用的 Date 类模板,用于存储年、月、日信息。然后,我们为 Date<int> 提供了特化版本,用于实现基于 int 类型的日期比较操作。

main 函数中,我们创建了一个存储日期的 std::vector,然后使用 std::sort 函数对日期进行排序。由于我们为 Date<int> 提供了特化版本,它能够正确比较日期并进行排序。最终,我们分别输出排序前后的日期顺序。

模板分离编译

1.什么是分离编译

分离编译Separate Compilation)是一种软件开发技术,它将一个大型程序分割成多个小的源代码文件,每个文件包含一个或多个相关的函数、类或变量的定义和实现。这些源代码文件可以在不同的编译单元中进行编译,然后在链接阶段将它们组合成一个可执行的程序。

分离编译的主要目标是提高代码的可维护性、编译速度和资源利用率。以下是分离编译的一些优点:

模块化开发:将程序分割成多个模块,每个模块负责一个特定的功能。这样,不同的开发人员可以独立地处理不同的模块,从而提高开发效率。
代码复用:在不同的项目中,可以重新使用已经编写并通过测试的模块,从而减少开发时间和资源。
编译速度:只有修改的模块需要重新编译,其他未修改的模块可以保持不变。这可以显著加快编译时间。
资源利用率:只有需要的模块会被编译,减少了不必要的编译和内存占用。

分离编译的基本流程如下:

编写模块:将程序分割成多个模块,并编写每个模块的定义和实现。
编译模块:分别编译每个模块的源代码,生成目标文件(例如 .obj.o 文件)。
链接模块:将所有目标文件链接在一起,解决引用关系,生成最终的可执行文件。

在分离编译中,头文件(.h 文件)通常用于存放函数和类的声明,而源文件(.cpp 文件)包含函数和类的实现。这种划分可以帮助编译器了解每个模块的接口和实现,从而在不同模块之间建立正确的链接。

分离编译是现代软件开发的重要实践,它有助于组织复杂的项目、提高开发效率,并降低维护成本。

2.模板的分离编译

在C++中,模板的分离编译是指将模板的声明和实现分开放置在不同的文件中。模板的声明通常放在头文件(.h.hpp 文件),而模板的实现则放在源文件(.cpp 文件)中。

模板的分离编译是为了解决链接时的模板实例化问题。C++编译器需要在使用模板的地方对模板进行实例化,但编译器在编译一个源文件时只能看到当前源文件的内容,无法知道其他源文件中模板的实现细节。因此,如果模板的声明和实现都放在头文件中,并且被多个源文件引用,会导致模板被多次实例化,最终在链接阶段会出现多个相同的实例化,引发重定义错误。

模板的分离编译定义的一般做法是:

将模板的声明放在头文件中(例如 .h 文件)。
将模板的实现放在源文件中(例如 .cpp 文件),并在源文件末尾包含模板的实现。

这样做的好处是,每个源文件只会对模板进行一次实例化,避免了重定义问题。
然而,模板的分离定义也可能引发一些问题,例如:

编译错误难以定位:如果模板的实现出现错误,编译器可能无法在使用模板的地方给出详细的错误信息,导致调试困难。
代码维护困难:模板的实现分散在多个源文件中,可能导致代码维护变得更加复杂,需要确保每个源文件的模板实现保持一致。
可读性下降:模板的实现被分离到源文件中,可能会降低代码的可读性和可理解性。

为了避免模板分离定义带来的问题,一些编程实践推荐将模板的声明和实现都放在头文件中,以便在使用模板的地方能够看到完整的实现细节。如果模板的实现较为复杂,可以通过将模板特化的方式来解决分离定义的问题。

举一个C++中的模板的分离定义的例子

这个示例演示了如果模板的声明和实现被分离到不同的文件中,可能会导致重定义错误。

假设我们有以下两个文件:

Stack.h(头文件,包含模板的声明):

#ifndef STACK_H
#define STACK_Htemplate <typename T>
class Stack {
public:Stack();void push(const T& value);T pop();private:T elements[10];int top;
};#include "Stack.cpp"#endif

Stack.cpp(源文件,包含模板的实现):

#ifndef STACK_CPP
#define STACK_CPPtemplate <typename T>
Stack<T>::Stack() : top(-1) {}template <typename T>
void Stack<T>::push(const T& value) {elements[++top] = value;
}template <typename T>
T Stack<T>::pop() {return elements[top--];
}#endif

这个示例中,我们尝试在头文件中包含了源文件 Stack.cpp。这可能会导致以下问题:

重定义错误:当多个源文件包含同一个头文件时,每个源文件都会包含 Stack.cpp 中的模板实现,从而在链接时引发重定义错误。
解决方法是,将模板的声明和实现都放在头文件中,或者使用模板的显式实例化(explicit instantiation)来避免重定义错误
显式实例化是一种告诉编译器在特定类型上进行模板实例化的方式,可以在源文件中使用以下语法来避免问题:

template class Stack<int>;
template class Stack<double>;
// 等等

这样可以确保模板只会在特定类型上进行一次实例化,避免了重定义错误。

虽然显式实例化可以解决模板的分离定义问题,但它也有一些潜在的弊端:

  1. 维护困难:如果代码中使用了多种不同的类型进行实例化,就需要在源文件中为每种类型都显式实例化一次。这可能会导致代码冗余,增加维护的难度,尤其在模板被广泛使用的大型项目中。
  2. 可读性降低显式实例化的语法相对较为繁琐,可能会降低代码的可读性。程序员需要了解这种特殊的语法并在源文件中进行适当的显式实例化。
  3. 影响编译时间:显式实例化会导致编译器在编译时生成模板的具体实例化代码,从而增加了编译时间。特别是在模板被大量使用的情况下,编译时间可能会显著增加
  4. 局限性显式实例化只适用于那些已知要在特定类型上进行实例化的模板。对于一些可能会在不同类型上使用的通用模板,需要为每个可能的类型都显式实例化,这可能不太实际。

综上所述,虽然显式实例化是解决模板分离定义问题的一种方法,但它可能会引入一些不便之处和潜在的问题。因此,一些项目中更倾向于将模板的声明和实现都放在头文件中,以避免这些问题。

模板总结

优点:

  1. 通用性和重用性模板允许编写通用的代码,适用于多种数据类型和数据结构。这种通用性促进了代码的重用,减少了编写重复代码的需求。
  2. 类型安全: 模板可以在编译时进行类型检查,确保在模板实例化时使用正确的数据类型。这有助于避免运行时的类型错误
  3. 性能优势模板生成的代码是在编译时根据实际类型生成的,因此没有函数调用的开销,可以在一定程度上提高性能。
  4. 泛型算法: C++标准库中的算法和容器都使用模板,使得开发人员能够方便地使用通用的排序、查找、遍历等算法
  5. 抽象和封装模板可以实现抽象数据类型,将数据结构和操作封装在一起,提供更高层次的抽象。
  6. 编译时错误检查模板的错误通常在编译时被检测到,使得开发人员能够及早发现和修复问题。

缺点:

  1. 编译时错误信息难以理解: 模板错误的编译器错误信息可能非常复杂,对于初学者来说可能难以理解。这可能增加了调试的难度
  2. 编译时间增加模板的使用可能导致编译时间增加,特别是在大型项目中。模板的实例化会在编译时生成多个版本的代码,可能导致编译器花费更多时间。
  3. 代码膨胀模板的实例化会导致生成多份相似的代码,可能增加可执行文件的大小。
  4. 可读性下降一些复杂的模板代码可能难以阅读和理解,尤其是涉及元编程技巧的情况。
  5. 维护困难: 当模板的实现被分离到不同的文件中,维护可能会变得困难,特别是涉及到显式实例化等情况。

综合考虑,模板是一个强大的工具,可以在很多情况下提供巨大的优势。然而,在使用模板时,开发人员需要权衡其优点和缺点,并根据具体情况做出合适的选择。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/128892.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

Leetcode---361周赛

题目列表 2843. 统计对称整数的数目 2844. 生成特殊数字的最少操作 2845. 统计趣味子数组的数目 2846. 边权重均等查询 一、统计对称整数的数目 这题看一眼数据范围&#xff0c;直接就可以开始暴力求解了&#xff0c;按照题目要求模拟就行&#xff0c;代码如下 class Solu…

安装K8s基础环境软件(二)

所有节点执行 1、安装docker sudo yum install -y yum-utils sudo yum-config-manager --add-repo https://download.docker.com/linux/centos/docker-ce.reposudo yum install docker-ce docker-ce-cli containerd.io docker-buildx-plugin docker-compose-plugin systemctl…

19 螺旋矩阵

螺旋矩阵 题解1 循环&#xff08;4个标志——根据顺时针&#xff09;题解2 方向 给你一个 m 行 n 列的矩阵 matrix &#xff0c;请按照 顺时针螺旋顺序 &#xff0c;返回矩阵中的所有元素。 提示&#xff1a; - m matrix.length - n matrix[i].length - 1 < m, n <…

机器学习——boosting之提升树

提升树和adaboost基本流程是相似的 我看到提升树的时候&#xff0c;懵了 这…跟adaboost有啥区别&#xff1f;&#xff1f;&#xff1f; 直到看到有个up主说了&#xff0c;我才稍微懂 相当于&#xff0c;我在adaboost里的弱分类器&#xff0c;换成CART决策树就好了呗&#xff1…

欧科云链与HashKey Exchange达成合作,助力香港虚拟资产合规化

继8月10日 欧科云链 与 华为云 达成合作之后&#xff0c; 今天&#xff0c;欧科云链 又与 Hashkey Exchange 共同宣布正式达成合作&#xff01; 这次与Hashkey达成合作&#xff0c;双方又将在Web3行业中谱写怎样的故事&#xff1f; 9月6日&#xff0c;欧科云链控股有限公司&…

python关闭指定进程以excel为例

先说下环境&#xff1a; Excel版本&#xff1a; Python2.7.13和Python3.10.4并存。 2、打开两个excel工作簿 看进程是这样的&#xff1a; 3、用python编程kill进程 # -*- coding: utf-8 -*- import os proc_nameEXCEL.EXE if __name__ __main__:os.system(taskkill /im {} /…

CentOS 8 通过YUM方式升级最新内核

CentOS 8 通过YUM方式升级最新内核 查看当前内核 uname -r 4.18.0-193.6.3.el8_2.x86_64导入 ELRepo 仓库的公钥&#xff1a; rpm --import https://www.elrepo.org/RPM-GPG-KEY-elrepo.org安装升级内核相关的yum源仓库(安装 ELRepo 仓库的 yum 源) yum install https://www…

idea:java: Compilation failed: internal java compiler error

java: Compilation failed: internal java compiler error错误 检查下面2个即可&#xff1a;

bit、bin 、mcs文件区别

FPGA里面的可执行文件都涉及到 *.bit&#xff0c; *.mcs&#xff0c; *.bin 和 *.elf。 bit文件 bit 文件一般用于JTAG在线进行调试的时候&#xff0c;是把bit文件是烧写到FPGA中进行在线调试。 bin文件 bin 文件是二进制文件&#xff0c;按顺序只包含原始字节流&#xff0c…

基于云计算的区域LIS系统系统源码

在医疗机构内部&#xff0c;院内实验室主要负责本院临床科室的检验&#xff0c;院内LIS系统必须满足实验室日常的标本处理入库、仪器联机、检验结果处理、报告打印、报告发布、检验信息统计、检验信息报告发布、标本流程、外部医疗机构检验报告调阅等工作。 在医疗机构间&#…

Ab3d.DXEngine 6.0 Crack 2023

Ab3d.DXEngine 不是另一个游戏引擎&#xff08;如Unity&#xff09;&#xff0c;它强迫您使用其游戏编辑器、其架构&#xff0c;并且需要许多技巧和窍门才能在标准 .Net 应用程序中使用。Ab3d.DXEngine 是一个新的渲染引擎&#xff0c;它是从头开始构建的&#xff0c;旨在用于标…

antd-vue - - - - - select自定义渲染[封装select组件]

select自定义渲染[封装select组件] 1. 期望效果2. 代码展示 1. 期望效果 标签值和option展示不一致&#xff01; 2. 代码展示 官网地址:【antd-vue select】 封装的select组件&#xff1a; <template><a-form ref"refForm" :model"selectConfig&…

黑马JVM总结(三)

&#xff08;1&#xff09;栈内存溢出 方法的递归调用&#xff0c;没有设置正确的结束条件&#xff0c;栈会有用完的一天&#xff0c;导致栈内存溢出 可以修改栈的大小&#xff1a; 再次运行&#xff1a;减少了次数 案例二&#xff1a; 两个类的循环应用问题&#xff0c;导致Js…

【虹科案例】​使用虹科数字化仪测量遥远恒星的直径

加那利群岛拉帕尔马岛的 MAGIC 望远镜是为了观测发射高能伽马射线的宇宙物体&#xff08;即超新星或黑洞&#xff09;而建造的。天文学家使用双望远镜测量恒星的直径&#xff0c;以研究其整个生命周期的过程。对于地球上的望远镜来说&#xff0c;这是一项具有挑战性的任务&…

C++中多态的底层实现

1.先来看一波比较容易出错的题 会打印出来什么&#xff1f; 其实打印出来的是B->1;为什么呢&#xff1f;看我如何讲解的。 2.思考为什么只有引用或则指针才能触发多态 结论&#xff1a;子类赋值给父类对象切片&#xff0c;不会拷贝虚标 我听老师上面的解释是&#xff1a;如…

健康系统练习

健康系统 项目建构&#xff1a; 前后端分离&#xff0c;前端vue3&#xff0c;后端Java&#xff0c;springboot做跨域处理&#xff0c;前端将在vscode中 的tomcat下部署&#xff0c;后端将在ideal中集成的tomcat中部署 创建项目工程在ideal中直接选用springi…创建&#xff0c…

创邻科技Galaxybase助力SPG推动知识图谱应用落地

1. 知识图谱实践应用&#xff1a;从理论到落地的全景视角 知识图谱&#xff0c;作为一种先进的数据模型和信息表示策略&#xff0c;极大地提升了信息检索与分析的能力。该模型利用图结构&#xff0c;将不同领域、层次和类别的信息有机整合&#xff0c;令复杂的数据关系变得清晰…

《得帆云 AIGC+低代码PaaS平台系列白皮书》-主流OA集成应用

近年来&#xff0c;随着国内外的信息技术发展日益迅速&#xff0c;无论是企业的业务模式&#xff0c;还是企业的人员管理&#xff0c;都在不断发展变化&#xff0c;OA系统作为公司的核心协调系统&#xff0c;必须能够及时响应公司的发展&#xff0c;实现与企业内部各种业务系统…

LeetCode刷题笔记【27】:贪心算法专题-5(无重叠区间、划分字母区间、合并区间)

文章目录 前置知识435. 无重叠区间题目描述参考<452. 用最少数量的箭引爆气球>, 间接求解直接求"重叠区间数量" 763.划分字母区间题目描述贪心 - 建立"最后一个当前字母"数组优化marker创建的过程 56. 合并区间题目描述解题思路代码① 如果有重合就合…

PostGreSQL:时间戳时区问题

时间|日期类型 PostGreSQL数据库内置的时间类型如下&#xff0c;注意到&#xff1a;内置的时间类型被分为了with time zone-带时区、without time zone-不带时区两种类型&#xff0c; time、timestamp和interval都可以接受一个可选的精度值 p&#xff08;取值&#xff1a;0-6&a…