我在
Wandbox中尝试过以下代码：
#include <array>
#include <iostream>
#include <tuple>
#include <typeinfo>
#include <functional>
#include <utility>
int main()
{
constexpr std::array<const char,10> str{"123456789"};
constexpr auto foo = std::apply([](auto... args) constexpr { std::integer_sequence<char,args...>{}; },str);
std::cout << typeid(foo).name();
}
编译器告诉我,args …不是常数表达式.
怎么了？
解决方法
即使标记为constexpr,所有constexpr函数都必须对constexpr都有效.
有一个constexpr文字的提议,它将字符作为非类型的模板参数传递.然后“hello”_bob可以直接扩展到参数包.
另一种方法是可以通过std :: integral_constant< T,t>通过一些机制,像我的索引器一样.那么转换为T是constexpr,即使变量不是.这并不能帮助你对序列的“你好”.