Question

上一个问题：std::string class inheritance and tedious c++ overload resolution

在上一个问题之后的步骤中，我尝试通过原始字符串指针operator+测试"aaa" + path_string{ "bbb" }。并发现它没有调用相应的path_string类朋友功能。

我尝试不添加模板重载operator+ (2)，但是它也不起作用。但是我发现模板化的(3)确实有效。

#include <string>

template <class t_elem, class t_traits, class t_alloc>
class path_basic_string : public std::basic_string<t_elem, t_traits, t_alloc>
{
public:
    using base_type = std::basic_string<t_elem, t_traits, t_alloc>;

    path_basic_string() = default;
    path_basic_string(const path_basic_string & ) = default;
    path_basic_string(path_basic_string &&) = default;

    path_basic_string & operator =(path_basic_string path_str)
    {
        this->base_type::operator=(std::move(path_str));
        return *this;
    }

    path_basic_string(base_type r) :
        base_type(std::move(r))
    {
    }

    path_basic_string(const t_elem * p) :
        base_type(p)
    {
    }

    base_type & str()
    {
        return *this;
    }

    const base_type & str() const
    {
        return *this;
    }

    using base_type::base_type;
    using base_type::operator=;

    // ... all over operators are removed as not related to the issue ...

    // (1)
    friend path_basic_string operator+ (const t_elem * p, const base_type & r)
    {
        path_basic_string l_path = p;
        l_path += "xxx";
        return std::move(l_path);
    }

    friend path_basic_string operator+ (const t_elem * p, base_type && r)
    {
        if (!r.empty()) {
            return "111" + ("/" + r); // call base operator instead in case if it is specialized for this
        }

        return "111";
    }

    // (2)
    friend path_basic_string operator+ (const t_elem * p, path_basic_string && r)
    {
        base_type && r_path = std::move(std::forward<base_type>(r));
        if (!r_path.empty()) {
            return "222" + ("/" + r_path); // call base operator instead in case if it is specialized for this
        }

        return "222";
    }

    // (3) required here to intercept the second argument
    template <typename T>
    friend path_basic_string operator+ (const t_elem * p, T && r)
    {
        base_type && r_path = std::move(std::forward<base_type>(r));
        if (!r_path.empty()) {
            return "333" + ("/" + r_path); // call base operator instead in case if it is specialized for this
        }

        return "333";
    }
};

using path_string = path_basic_string<char, std::char_traits<char>, std::allocator<char> >;

std::string test_path_string_operator_plus_right_xref(path_string && right_path_str)
{
    return "aaa" + right_path_str;
}

int main()
{
    const path_string test =
        test_path_string_operator_plus_right_xref(std::move(path_string{ "bbb" }));
    printf("-%s-\n", test.str().c_str());

    return 0;
}

3个编译器的输出：gcc 5.4，clang 3.8.0，msvc 2015（19.00.23506）

-333 / bbb-

https://rextester.com/BOFUS59590

我记得C ++标准澄清了这一点，因为只有在没有一个非模板函数与参数完全匹配时才必须查找模板函数。但是(2)运算符必须精确匹配，但是为什么不调用它呢？

如果删除(3)，则将调用(1)而不是(2)，后者比(1)更好。

这是怎么回事？

PS ：我认为这与const + single reference周围的问题相同，就像上一个问题一样。

Answer 1

在以下代码段中：

sib1/call.py

std::string test_path_string_operator_plus_right_xref(path_string && right_path_str) { return "aaa" + right_path_str; }是非常量L值。因此，它永远无法绑定到右值引用。

当模板重载不可用时，它将绑定到

中的const左值引用重载。

right_path_str

当模板存在时，它更适合非常量左值引用：

friend path_basic_string operator+ (const t_elem * p, const base_type & r)

在这种情况下，template <typename T> friend path_basic_string operator+ (const t_elem * p, T && r)是转发引用，它折叠为非常量左值引用。要修复您的代码，请在调用函数时确保T&&离开右值引用参数，并养成习惯-每当在下面传递右值引用时，请使用move，每当通过转发引用时，请使用{ {1}}。

std::move

std :: string类继承和繁琐的c ++重载解析＃2

1 个答案: