我有一个std::map
,在运行时无法更改。因此,我已将其标记为const
,因为它具有非文字类型,所以无法将其标记为constexpr
。
我可以在编译时推断此映射的size
吗?
#include <map>
#include<string>
int main (){
const std::map <int, std::string> my_map {
{ 42, "foo" },
{ 3, "bar" }
};
constexpr auto items = my_map.size();
return items;
}
This不会编译并显示错误:
:10:20:错误:必须初始化constexpr变量'items' 通过一个常量表达式
constexpr auto items = my_map.size(); ^ ~~~~~~~~~~~~~
:10:35:注意:非constexpr函数'size'不能用于 一个常量表达式
constexpr auto items = my_map.size();
[不幸的是,您不能在constexpt上下文中使用std :: map和std :: string。如果可能,请考虑切换到array和string_view:
int main() {
constexpr std::array my_map{
std::pair<int, std::string_view>{ 42, "foo" },
std::pair<int, std::string_view>{ 3, "bar" }
};
constexpr auto items = my_map.size();
return items;
}
然后使用constexpr std算法
我可以在编译时推断此映射的
size
吗?
没有由于my_map
不是编译时常量,因此您不能在编译时使用它。
该标准没有提供编译时间图,但是应该有一些库,或者如果您真正需要它,可以自己创建。
可以通过模板函数初始化地图
template<class... Args>
std::pair<std::integral_constant<std::size_t, sizeof...(Args)>, std::map<int, std::string>>
make_map(Args&& ...args)
{
return {{}, std::map<int, std::string>({std::forward<Args>(args)...})};
}
int main() {
const auto& p = make_map(
std::make_pair( 42, std::string("foo") ),
std::make_pair( 3, std::string("bar") )
);
constexpr std::size_t size = std::decay_t<decltype(p.first)>::value;
const auto& my_map = p.second;
//or const auto my_map = std::move(p.second);
}