c++ - 初始化列表是否足够静态以允许实例化模板?
问题描述
我为这个糟糕的问题道歉。我不知道该怎么问。
#include <iostream>
template <int V>
void output() {
std::cout << V << "\n";
}
int main() {
output<1>(); // this works
output<2>();
for (int v : {1,2,3} ) {
output<v>(); // this not
}
return 0;
}
我认为具有有限数量的迭代足以使该模板化函数实例化,但没有。
有没有办法让它工作?
解决方案
不,你不能那样做。然而,问题不在于std::initializer_list
不够稳定。它不起作用,因为您不能output<>()
在循环的每次迭代中更改类型。
初始化列表可以是constexpr
,并且constexpr
值可以用作非类型模板参数。例如,这些都有效:
constexpr std::initializer_list<int> x{10, 20};
output<x.size()>();
output<*x.begin()>();
constexpr const int& ref = *x.begin();
output<ref>();
在您的代码中,v
不是constexpr
. 它在循环的每次迭代中都会发生变化。所以不能用作非类型模板参数。
总而言之,std::initialier_list<>
一个这样的列表的大小和列表的特定元素都足够恒定,可以作为非类型模板参数。对列表中元素的引用(在循环的每次迭代中都会发生变化)不够恒定。
您会发现在循环的每次迭代中发生的任何变化都不是足够恒定的。以同样的方式,auto
用于在迭代之间更改类型的循环中的变量也是不可能的。
整数常量表达式和类型只能在模板化对象或函数的实例化之间改变。在模板的每个实例化上,它们都有一个固定的值,用于被实例化的对象/函数的整个范围。它们不能在循环的迭代之间改变。
推荐阅读
- python - url 中缺少“下划线”的 Django 问题
- wordpress - 如何将我的文本文件作为页面自动上传到我的 wordpress 网站?
- mysql - SQL - 按日期获取相关更新的值
- python - 如何在 PyPi 上更新 Python 包?
- active-directory - 是否可以在多个 Squid 之间传递 Kerberos 凭据?
- mysql - 带有flyway的Spring jpa动态多租户初始化新的mysql模式对于100个表来说很慢
- java - 获取 org.openqa.selenium.ElementNotInteractableException: Element
- git - 将我的虚拟机连接到安装在其他服务器上的 Git
- django - 无法连接到 docker 和 django 中的 redis
- rust - Rust 中的一个终身问题,一个悬而未决的参考