c – 为什么自动说明符的类型推导仅关注for-loop的init字段？

发布时间：2020-12-16 06:46:18 所属栏目：百科来源：网络整理

导读：以下示例似乎非常简单明了： void ftest(size_t arg){ std::cout arg 'n';}int main(){ size_t max = 5; for (auto i = 0; i max; ++i) ftest(i);} 但它不会编译(至少使用VS2013)因为i被推断为int而不是size_t.问题是 – 如果不能依赖条件字段,那么for循环

以下示例似乎非常简单明了：

void ftest(size_t& arg)
{
    std::cout << arg << 'n';
}


int main()
{
    size_t max = 5;
    for (auto i = 0; i < max; ++i)
        ftest(i);
}

但它不会编译(至少使用VS2013)因为i被推断为int而不是size_t.问题是 – 如果不能依赖条件字段,那么for循环中auto的意义何在？如果编译分析整个语句并给出预期结果而不是我们现在拥有的结果,那会是太难和耗时吗？

解决方法

因为变量的类型是在声明时(从其初始化器)确定的,所以它与如何使用它没有任何关系.如果需要,将考虑类型转换.该规则与使用显式指定的类型声明的变量相同,auto只是帮助您推断出类型,它并不特殊.

试着考虑一下：

auto max = 5u;
for (auto i = 0; i < max; ++i)
//               ~~~~~~~~
//               i should be unsigned int,or max should be int ?

顺便说一句：如果你想通过条件字段max确定类型,你可以使用decltype：

for (decltype(max) i = 0; i < max; ++i)

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!