脚本之家 服务器常用软件
快捷导航
您的位置：首页 → 软件编程 → C 语言 → C++的常量表达式与省略号

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

 更新时间：2016年01月15日 14:36:03   投稿：goldensun  
这篇文章主要介绍了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

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

您可能感兴趣的文章:

相关文章

  • C++变量,常量,数组和字符串详解

    C++变量,常量,数组和字符串详解

    这篇文章主要介绍了C++变量,常量,数组和字符串,是C++入门学习中的基础知识,需要的朋友可以参考下,希望能够给你带来帮助
    2021-10-10
  • Swift编程中的泛型解析

    Swift编程中的泛型解析

    这篇文章主要介绍了Swift编程中的泛型解析,是Swift入门学习中的基础知识,需要的朋友可以参考下
    2015-11-11
  • C++线程池实现代码

    C++线程池实现代码

    C++11中，线程我们可以理解为对应一个thread对象，任务可以理解为要执行的函数，通常是耗时的函数。线程过多或者频繁创建和销毁线程会带来调度开销，进而影响缓存局部性和整体性能
    2021-12-12
  • C++ 三种继承方式及好处示例详解

    C++ 三种继承方式及好处示例详解

    这篇文章主要为大家介绍了C++ 三种继承方式及好处示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪
    2023-04-04
  • 解决C++ 无法从void 转换为LRESULT的方法详解

    解决C++ 无法从void 转换为LRESULT的方法详解

    本篇文章是对C++中无法从void转换为LRESULT的解决方法进行了详细的分析介绍，需要的朋友参考下
    2013-05-05
  • 使用钩子如何锁定键盘的方法分享

    使用钩子如何锁定键盘的方法分享

    锁键盘一般用钩子实现，所以难度稍大，不过下面这个程序当简单，而且连钩子所需要DLL也省了
    2014-01-01
  • C语言 结构体和指针详解及简单示例

    C语言 结构体和指针详解及简单示例

    本文主要介绍C语言 结构体和指针,这里整理了相关资料，并附示例代码和实现结果，以便大家学习参考，希望能帮助学习C语言的朋友
    2016-08-08
  • C语言可变长的参数列表详解

    C语言可变长的参数列表详解

    这篇文章主要为大家介绍了C语言可变长的参数列表，具有一定的参考价值，感兴趣的小伙伴们可以参考一下，希望能够给你带来帮助
    2022-01-01
  • C++详细分析讲解引用的概念与使用

    C++详细分析讲解引用的概念与使用

    引用（reference）就是C++对C语言的重要扩充。引用就是某一变量（目标）的一个别名，对引用的操作与对变量直接操作完全一样
    2022-05-05
  • c++ qt自定义搜索编辑框的实现方法

    c++ qt自定义搜索编辑框的实现方法

    这篇文章主要介绍了c++ qt自定义搜索编辑框,通过自定义QLineEdit，在编辑框里添加布局，将按钮设置在右边，当点击按钮搜索按钮时发送信号到主界面做相应的操作，需要的朋友可以参考下
    2022-03-03

最新评论