C++核心准则ES.107:不要使用无符号数下标，使用gsl::index更好

ES.107: Don't use unsigned for subscripts, prefer gsl::index

ES.107:不要使用无符号数下标，使用gsl::index更好

 

Reason（原因）

To avoid signed/unsigned confusion. To enable better optimization. To enable better error detection. To avoid the pitfalls with auto and int.

为了避免有符号数/无符号数混用带来的问题。有利实现更好的优化和错误检查。避免auto和int类型带来的陷阱。

 

Example, bad（反面示例）

vector vec = /*...*/;

for (int i = 0; i < vec.size(); i += 2)                    // may not be big enough
    cout << vec[i] << '\n';
for (unsigned i = 0; i < vec.size(); i += 2)               // risk wraparound
    cout << vec[i] << '\n';
for (auto i = 0; i < vec.size(); i += 2)                   // may not be big enough
    cout << vec[i] << '\n';
for (vector::size_type i = 0; i < vec.size(); i += 2) // verbose
    cout << vec[i] << '\n';
for (auto i = vec.size()-1; i >= 0; i -= 2)                // bug
    cout << vec[i] << '\n';
for (int i = vec.size()-1; i >= 0; i -= 2)                 // may not be big enough
    cout << vec[i] << '\n';

 

Example, good（范例）

vector vec = /*...*/;

for (gsl::index i = 0; i < vec.size(); i += 2)             // ok
    cout << vec[i] << '\n';
for (gsl::index i = vec.size()-1; i >= 0; i -= 2)          // ok
    cout << vec[i] << '\n';

 

Note（注意）

The built-in array uses signed subscripts. The standard-library containers use unsigned subscripts. Thus, no perfect and fully compatible solution is possible (unless and until the standard-library containers change to use signed subscripts someday in the future). Given the known problems with unsigned and signed/unsigned mixtures, better stick to (signed) integers of a sufficient size, which is guaranteed by gsl::index.

内置数组使用有符号数下标。标准库容器使用无符号数下标。因此不存在完美、完全兼容的解决方案（除非将来某一天标准库容器转而使用有符号数下标）。考虑到使用无符号数或者有符号数/无符号数混合可能带来的问题，较好的选择是赋予（有符号）整数足够大的空间，这一点可以通过使用gsl::index保证。

 

Example（示例）

template
struct My_container {
public:
    // ...
    T& operator[](gsl::index i);    // not unsigned
    // ...
};

Example（示例）

??? demonstrate improved code generation and potential for error detection ???

 

Alternatives（其他选项）

Alternatives for users

利用者角度的其他选项

• use algorithms

• 使用算法

• use range-for

• 使用范围for

• use iterators/pointers

• 使用指针和迭代器

   

Enforcement（实施建议）

• Very tricky as long as the standard-library containers get it wrong.

• 如果标准库容器出问题了，很难检出。

• (To avoid noise) Do not flag on a mixed signed/unsigned comparison where one of the arguments is sizeof or a call to container .size() and the other is ptrdiff_t.

• （为了避免误检出）如果一个操作数是sizeof或者container.size()而另一个操作数是ptrdiff_t，不要标记有符号数/无符号数混合的比较操作。

   

原文链接

https://github.com/isocpp/CppCoreGuidelines/blob/master/CppCoreGuidelines.md#es107-dont-use-unsigned-for-subscripts-prefer-gslindex

 

---

 

新书介绍

以下是本人3月份出版的新书，拜托多多关注！

 

本书利用Python 的标准GUI 工具包tkinter，通过可执行的示例对23 个设计模式逐个进行说明。这样一方面可以使读者了解真实的软件开发工作中每个设计模式的运用场景和想要解决的问题；另一方面通过对这些问题的解决过程进行说明，让读者明白在编写代码时如何判断使用设计模式的利弊，并合理运用设计模式。

对设计模式感兴趣而且希望随学随用的读者通过本书可以快速跨越从理解到运用的门槛；希望学习Python GUI 编程的读者可以将本书中的示例作为设计和开发的参考；使用Python 语言进行图像分析、数据处理工作的读者可以直接以本书中的示例为基础，迅速构建自己的系统架构。

 

觉得本文有帮助？欢迎点赞并分享给更多的人。

阅读更多更新文章，请关注微信公众号【面向对象思考】