C++ std::inner_product 有效但不应该

如何解决C++ std::inner_product 有效但不应该

我使用 std::inner_product 来计算 2 strings 中公共前缀的长度：

string a = "abcdef",b = "abc";
size_t r = std::inner_product(a.begin(),a.end(),b.begin(),size_t(0),[] (size_t v1,size_t v2) { return v1 + v2; },[] (char c1,char c2) { return size_t(c1 == c2); });   

如果 a 的大小小于 b 的大小，我希望它会起作用。
如果 a 的大小大于 b 的大小，为什么会起作用？
这是一个标准实现（first2 将无效，而 first1 仍然可以）：

    template<class InputIt1,class InputIt2,class T>
    constexpr // since C++20
    T inner_product(InputIt1 first1,InputIt1 last1,InputIt2 first2,T init)
    {
            while (first1 != last1) {
                     init = std::move(init) + *first1 * *first2; // std::move since C++20
                     ++first1;
                     ++first2;
            }
            return init;
    }

这是一种未指明的行为吗？
std::inner_product