C++标准库 _Idl_distance

编译器: MSVC v142
所属文件: xutility
位置(行): 485
函数名称: _Idl_distance
函数描述:
计算两个Iterator指针的距离, 白话一点就是，获取Iterator的length, 类似python里面获取一个列表长度的内置方法l.len().

源码:

template 
inline auto _Idl_distance(const _Iter& _First, const _Iter& _Last) {
    // tries to get the distance between _First and _Last if they are random-access iterators
    if constexpr (_Is_random_iter_v<_Iter>) {
        return static_cast<_Iter_diff_t<_Checked>>(_Last - _First);
    } else {
        (void) _First; // TRANSITION, VSO#486357
        (void) _Last; // TRANSITION, VSO#486357
        return _Distance_unknown{};
    }
}

 

获取Iterator的length

#include 
#include 
using std::cout;
using std::endl;
using std::copy;
using std::vector;


int main(void) {

    vector a {1,2,3,4,5,6,7,8,9};

    auto start = a.begin();
    auto stop = a.end();

    auto start_ptr = start._Unwrapped();
    auto stop_ptr = stop._Unwrapped();

    cout << stop - start << endl;       // output: 9

    return 0;
}

 

关键语句解读

if constexpr (expression) {} 编译期选择分支代码进行编译, 也就是中命中了第一个条件, 就仅生成和编译第一个条件中的代码, 其他代码不生成, 也不编译.

_Is_random_iter_v<_Iter> 是根据Iterator的tag类型，尝试转换, 看看是否能够转换成random_access_iterator_tag, 如果能转换成功, 那么就返回true, 转换失败则返回false.

_Iter_diff_t<_Checked> 其中_Checked是一个模板参数(Iterator类型), _Iter_diff_t 负责提取_Checked的difference_tye属性, 这个属性是一个long long, 因此简化来看就是: _Iter_diff_t<_Checked> == long long.

组合起来看, 就是：static_cast<_Iter_diff_t<_Checked>>(_Last - _First); == static_cast(_Last - _First);，整个语句肯定是先计算_Last - _First 得出一个int数值, 然后再使用static_cast(9) 转换成一个 long long类型的值.

参考

Compiler Support for Type Traits (C++/CLI and C++/CX)
_Is_random_iter_v 里面引用了一个 __is_convertible_to 是 msvc为 type_trait 拓展的一个函数功能, 无法查看到源码, 所以智能看这个链接的解释和样例去理解它的意思..