剖析C++中的常量表达式与省略号的相关作用

C++ 常量表达式
常量值是指不会更改的值。C + + 提供了两个关键字，它们使你能够表达不打算修改对象的意图，还可让你实现该意图。
C++ 需要常量表达式（计算结果为常量的表达式）以便声明：

  • 数组边界
  • case 语句中的选择器
  • 位域长度规范
  • 枚举初始值设定项

常量表达式中合法的唯一操作数是：

  • 文本
  • 枚举常量
  • 声明为使用常量表达式初始化的常量的值
  • sizeof 表达式

必须将非整型常量（显式或隐式）转换为常量表达式中合法的整型。因此，以下代码是合法的：

const double Size = 11.0;
char chArray[(int)Size];

到整型的显式转换在常量表达式中是合法的；所有其他类型和派生类型是非法的（在用作 sizeof 运算符的操作数时除外）。
逗号运算符和赋值运算符不能用于常量表达式。

省略号和可变参数模板
省略号在 C 和 C++ 中具有许多用途。这些包括函数的变量参数列表。C 运行库的 printf() 函数是一种最常见的示例。
variadic 模板是支持任意数量的参数的类或函数模板。此机制对 C++ 库开发人员尤其有用，因为您可以将其应用于类模板和函数模板，从而提供一系列类型安全和重要功能以及灵活性。
语法
可变参数模板用两种方法使用省略号。参数名称的左侧表示参数包，参数名称的右侧将参数包扩展为单独的名称。
以下是可变参数模板类定义语法的基本示例：

template<typename... Arguments> class classname;

如以下示例所示，对于参数装箱和展开，可以根据您的喜好在省略号周围添加空白，例如：

template<typename ...Arguments> class classname;

或为：

template<typename ... Arguments> class classname;

请注意本文使用的是显示在第一个例子中约定(该省略号附加于typename).
在前面的示例中，Arguments 是参数包。类 classname 可以接受参数数目可变，例如以下示例：

template<typename... Arguments> class vtclass;

vtclass< > vtinstance1;
vtclass<int> vtinstance2;
vtclass<float, bool> vtinstance3;
vtclass<long, std::vector<int>, std::string> vtinstance4;

通过使用可变参数模板类定义，您还可以要求至少一个参数。

template <typename First, typename... Rest> class classname;

以下是可变参数模板函数语法的基本示例：

template <typename... Arguments> returntype functionname(Arguments... args);

如下一节“了解可变参数模板”所示，Arguments 参数包展开使用。
variadic 模板函数语法还可能有其他形式，包括不限制于：

template <typename... Arguments> returntype functionname(Arguments&... args);
template <typename... Arguments> returntype functionname(Arguments&&... args);
template <typename... Arguments> returntype functionname(Arguments*... args);

还允许使用类似 const 的说明符：

template <typename... Arguments> returntype functionname(const Arguments&... args);

按照可变参数模板类的定义，您可以创建需要至少一个参数的函数：

代码如下:

template <typename First, typename... Rest> returntype functionname(const First& first, const Rest&... args);

可变模板使用 sizeof...() 运算符（与更早的 sizeof() 运算符不相关）：

template<typename... Arguments>
void tfunc(const Arguments&... args)
{
  const unsigned numargs = sizeof...(Arguments);

  X xobj[numargs]; // array of some previously defined type X

  helper_func(xobj, args...);
}

更多有关省略号位置
过去，本文介绍了定义参数装箱和展开“在参数名称左侧的省略号位置，它表示参数，包，并在参数名称右侧，其展开参数装箱到单独的名称”。这是技术上为 true，但可能会费一番功夫在转换代码。请考虑：
模板参数列表(template <parameter-list>), typename... 介绍了模板参数包。
在参数声明语句(func(parameter-list))，“顶层”省略号介绍函数参数包，并且该省略号地位是很重要的

// v1 is NOT a function parameter pack:
template <typename... Types> void func1(std::vector<Types...> v1); 

// v2 IS a function parameter pack:
template <typename... Types> void func2(std::vector<Types>... v2);

如果省略号在参数名之后出现，则具有参数 pack 展开。
一种阐明 variadic 模板功能框架的好方法是在 printf 一些功能的重新写入中使用：

#include <iostream>

using namespace std;

void print() {
  cout << endl;
}

template <typename T> void print(const T& t) {
  cout << t << endl;
}

template <typename First, typename... Rest> void print(const First& first, const Rest&... rest) {
  cout << first << ", ";
  print(rest...); // recursive call using pack expansion syntax
}

int main()
{
  print(); // calls first overload, outputting only a newline
  print(1); // calls second overload

  // these call the third overload, the variadic template,
  // which uses recursion as needed.
  print(10, 20);
  print(100, 200, 300);
  print("first", 2, "third", 3.14159);
}

Output

1
10, 20
100, 200, 300
first, 2, third, 3.14159

注意
合并变参数模板函数的大多数实现使用某种形式的递归，但是它与传统递归稍有不同。传统递归涉及使用与函数相同的签名调用函数。（可以重载或模板化，但每次都要选择相同的签名。）可变递归使用不同（几乎总是减少）数目的参数调用可变函数模板，因此每次都抹去不同的签名。仍需要“基用例”，但是，递归性质是不同的。

赞 (0)

相关推荐

  • C++中的常量定义小结

    本篇笔记总结自一次代码检视. 一般来说,使用C语言编程时我们都习惯在代码当中使用C当中的宏定义来定义一个数值常量: #define MY_CONST 7 在C++开发项目时,也会经常存在沿袭C当中常量用法情况.所以,如下的一种写法看起来反倒觉得有些不正宗了: class MyClass { static const int my_const = 7; // ... }; 站在编译器的角度,这两种写法都是合法的,但在使用的时候总得二中择一,究竟哪种更合适呢?之前有所耳闻在C++中应该尽可能少的使用

  • C++常量详解二(常量形参，常量返回值，常量成员函数)

    1.常量形参 当形参有顶层const或者底层const的时候,传给它常量对象或者非常量对象都是可以的,在这里我们主要考虑形参无const, 而实参有const的情况,其实这里也十分简单,只需要记住一点:底层const的限制,就可以了. 2.常量返回值 这里也很简单,略过不提. 3.常量成员函数 常量函数里的const是用来修饰*this的,其形式如下: int f() const{```} 然后这里就有意思了 *this的默认类型是type *const this,this指针有一个顶层cons

  • C++ 常量成员常量返回值详解

    总结: 1.常量数据成员,形式:const Type m_tData; 1)常量数据成员,需要在构造函数列表中给出,构造函数中可以用常量赋值,也可以实例化的时候赋值. 2)赋值函数中不能赋值,起到保护常量数据成员的作用,和友元作用相反. 2.常量成员函数,形式:type funname(type1 arg1,type2 arg2,...) const 1)常量成员函数,不能修改类数据成员,不能调用非常量函数. 2)常量成员函数的作用,可以有效的将类的函数分为可以修改类的函数,和不能修改类的函数:

  • C++类中的常量介绍

    由于#define 定义的宏常量是全局的,不能达到目的,于是想当然地觉得应该用 const 修饰数据成员来实现.const 数据成员的确是存在的,但其含义却不是我们所期望的.const 数据成员只在某个对象生存期内是常量,而对于整个类而言却是可变的,因为类可以创建多个对象,不同的对象其 const 数据成员的值可以不同. 不能在类声明中初始化 const 数据成员.以下用法是错误的,因为类的对象未被创建时,编译器不知道 SIZE 的值是什么. 复制代码 代码如下: class A {  cons

  • 简单总结C++中指针常量与常量指针的区别

    我们先回顾下,什么是指针?什么是常量?指针是一种特殊的变量,它里面存储的内容是内存地址.常量是指其里面存储的内容不能发生改变的量.明白了这两个概念后,我们现在正式进入指针常量与常量指针. 1.指针常量与常量指针的概念 指针常量就是指针本身是常量,换句话说,就是指针里面所存储的内容(内存地址)是常量,不能改变.但是,内存地址所对应的内容是可以通过指针改变的. 常量指针就是指向常量的指针,换句话说,就是指针指向的是常量,它指向的内容不能发生改变,不能通过指针来修改它指向的内容.但是,指针自身不是常量

  • c++常量详解

    概念 常量是存放固定且不可变值的,一旦确定初始值则在程序其它地方不可改变, 所以const对象必须初始化.常量一般使用const关键字来修饰. const 对象可以大致分为三类: 1. const int a const int a =10; int const b =10; 这两种格式是完全相同的.也就是说const 与int哪个写前都不影响语义.有了这个概念后,我们来看这两个家伙:const int * pi与int const * pi ,它们的语义有不同吗? 你只要记住一点,int 与c

  • C++编程中的数据类型和常量学习教程

    C++编程中的数据类型和常量学习教程

    C++数据类型 计算机处理的对象是数据,而数据是以某种特定的形式存在的(例如整数.浮点数.字符等形式).不同的数据之间往往还存在某些联系(例如由若干个整数组成一个整数数组).数据结构指的是数据的组织形式.例如,数组就是一种数据结构.不同的计算机语言所允许使用的数据结构是不同的.处理同一类问题,如果数据结构不同,算法也会不同.例如,对10个整数排序和对包含10个元素的整型数组排序的算法是不同的. C++的数据包括常量与变量,常量与变量都具有类型.由以上这些数据类型还可以构成更复杂的数据结构.例如利

  • 详解C++中常量的类型与定义

    常量是固定值,在程序执行期间不会改变.这些固定的值,又叫做字面量. 常量可以是任何的基本数据类型,可分为整型数字.浮点数字.字符.字符串和布尔值. 常量就像是常规的变量,只不过常量的值在定义后不能进行修改. 整数常量 整数常量可以是十进制.八进制或十六进制的常量.前缀指定基数:0x 或 0X 表示十六进制,0 表示八进制,不带前缀则默认表示十进制. 整数常量也可以带一个后缀,后缀是 U 和 L 的组合,U 表示无符号整数(unsigned),L 表示长整数(long).后缀可以是大写,也可以是小

  • C++常量详解一(常量指针与常量引用的初始化)

    1.常量 1.1.常量的初始化: const对象一旦创建后其值就不能再改变,所以const对象必须初始化.这里我们要注意一点,像const int *p和const int &r都并不是const对象.因为const int *p只是表示不能通过p改变p所指的对象的值,p的值是可以变的,所以p可以不用初始化.至于r ,引用本身就不是对象,所以r也并不是const对象,r之所以一定初始化,是因为引用必须初始化.对于以上内容,你也可以理解为底层const 修饰的并不是const对象,还要注意像con

  • 剖析C++中的常量表达式与省略号的相关作用

    C++ 常量表达式 常量值是指不会更改的值.C + + 提供了两个关键字,它们使你能够表达不打算修改对象的意图,还可让你实现该意图. C++ 需要常量表达式(计算结果为常量的表达式)以便声明: 数组边界 case 语句中的选择器 位域长度规范 枚举初始值设定项 常量表达式中合法的唯一操作数是: 文本 枚举常量 声明为使用常量表达式初始化的常量的值 sizeof 表达式 必须将非整型常量(显式或隐式)转换为常量表达式中合法的整型.因此,以下代码是合法的: const double Size = 1

  • JavaScript中全局变量、函数内变量以及常量表达式的效率测试

    JavaScript中全局变量、函数内变量以及常量表达式的效率测试

    var r, s = "this is a very very looooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooong string", x = /^\s+|\s+$/g; document.writeln("字符串测试 "); (function(){ document.write("全局->全局:"); var t = new Date(); for(

  • PHP中类型转换 ,常量,系统常量,魔术常量的详解

    PHP中类型转换 ,常量,系统常量,魔术常量的详解 1.自动类型转换; 在运算和判断时,会进行自动类型转换; 1)其他类型转为bool,判断时转换; 1)整型转布尔型:0转false,非0转为true: 2) 空字符串和'0'("0")转为false,其他转为true; 3) 空数组转为false, 非空数组则转为true; 4) null转为false 5) 资源打开不成功为false 是0或空,打开不成功的转为'false','0'; 2)其他类型转为字符串(字符串拼接); nul

  • 解析C#中的常量及如何在C#编程中定义常量

    常量是在编译时已知并在程序的生存期内不发生更改的不可变值.常量使用 const 修饰符进行声明.只有 C# 内置类型(System.Object 除外)可以声明为 const. 用户定义的类型(包括类.结构和数组)不能为 const.请使用 readonly 修饰符创建在运行时初始化一次即不可再更改的类.结构或数组. C# 不支持 const 方法.属性或事件. 可以使用枚举类型为整数内置类型(例如 int.uint.long 等等)定义命名常量. 常量必须在声明时初始化.例如: class C

  • 浅谈C#中的常量、类型推断和作用域

    一.常量常量是其值在使用过程中不会发生变化的变量.在声明和初始化变量时,在变量前面家关键字const,就可以把该变量指定为一个常量: const int a=100;//a的值将不可以改变 常量的特征: 1.常量必须在声明时初始化.指定了其值以后,就不能再修改了.2.常量的值必须能在编译时用于计算.因此不能从一个变量中提取的值来初始化常量.如果需要这么做,应该使用只读字段.3.常量总是静态的,但注意,不必在常量的声明中包含修饰符static.(实际上,不允许)在程序中使用常量至少有3个好处: 1

  • C++中的Lambda表达式详解

    我是搞C++的 一直都在提醒自己,我是搞C++的:但是当C++11出来这么长时间了,我却没有跟着队伍走,发现很对不起自己的身份,也还好,发现自己也有段时间没有写C++代码了.今天看到了C++中的Lambda表达式,虽然用过C#的,但是C++的,一直没有用,也不知道怎么用,就可怜的连Lambda语法都看不懂.好了,这里就对C++中的Lambda进行一个简单的总结,就算是对自己的一个交代,我是搞C++的,我是一个C++ programmer. 一段简单的Code 我也不是文艺的人,对于Lambda的

  • C++ 中的Lambda表达式写法

    C++ 中的Lambda表达式写法

    小喵的唠叨话: 寒假之后,小喵在家里无所事事,最近用C++写代码的时候,用到了std::sort这个函数,每次用这个函数,小喵似乎都得查一下lambda表达式的写法.正好最近很闲,不如总结一下. 在Bing上搜索 C++ lambda ,第一条记录就是MSDN上的C++ lambda的介绍.本文也是基于这篇文章来写的. 那么接下来,我们分几个部分来介绍. 一.什么是Lambda表达式 MSDN上对lambda表达式的解释: 在 C++ 11 中,lambda 表达式(通常称为 "lambda&q

  • 详解Golang编程中的常量与变量

    详解Golang编程中的常量与变量

    Go语言常量 常量是指该程序可能无法在其执行期间改变的固定值.这些固定值也被称为文字. 常量可以是任何像一个整型常量,一个浮点常量,字符常量或字符串文字的基本数据类型.还有枚举常量. 常量是一样,只是它们的值不能自己定义后进行修改常规变量处理. 整型常量 一个整数文字可以是十进制,八进制,或十六进制常数.前缀指定基或基数:0x或0X的十六进制,0表示八进制,并没有为十进制. 一个整数文字也可以有一个后缀为U和L的组合,分别为无符号和长整型.后缀可以是大写或小写,并且可以以任意顺序. 这里是整数常

  • 深入剖析java中String、StringBuffer、StringBuilder的区别

    java中String.StringBuffer.StringBuilder是编程中经常使用的字符串类,他们之间的区别也是经常在面试中会问到的问题.现在总结一下,看看他们的不同与相同. 1. 可变与不可变 String类中使用字符数组保存字符串,如下就是,因为有"final"修饰符,所以可以知道string对象是不可变的. private final char value[]; StringBuilder与StringBuffer都继承自AbstractStringBuilder类,在

  • C++11-20 常量表达式的使用

    目录 C++98时代 C++11时代 C++14时代 C++17时代 C++20时代 参考资料 C++98时代 C++98编译器对int常量情有独钟,因为这是少数它能直接识别的东西.因为这个有限的能力,编译器就能够预先判定数组的大小了: TEST_METHOD(TestConstVar) { //int n = 3; const int n = 3; int a[n] = { 0 }; Assert::AreEqual(size_t(3), _countof(a)); const int m =

随机推荐