Clang error: Dependent nested name specifier for friend class declaration not supported

Clang error: Dependent nested name specifier for friend class declaration not supported

我正在尝试为我的自定义 class 编写哈希函数,并使我的代码与 gcc 11.1 和 clang 12.0.0 兼容,但 clang 给出 warning/error:

<source>:30:25: warning: dependent nested name specifier 'std::hash<Base<U>>::' for friend class declaration is not supported; turning off access control for 'Base' [-Wunsupported-friend]
    std::hash<Base<U>>::operator()(const Base<U>& b) const noexcept;

<source>:38:26: error: 'data_' is a private member of 'ns::Base<int>'
    std::size_t seed = b.data_.size();

下面的代码(也在 https://godbolt.org/z/8Wsnqr5cb)。我怎样才能修复它以使其与两者兼容?

#include <set>
#include <utility>
#include <iostream>

// Forward declaration    
namespace ns
{
    template<typename T>
    class Base;
}

/// Hash specialization declaration
template<typename T>
struct std::hash<ns::Base<T>>
{
    std::size_t operator()(const ns::Base<T>& b) const noexcept;
};

namespace ns
{

template<typename T>
class Base {
    std::set<T> data_;

    public:
    Base(const std::set<T>& data): data_{data} {}

    template<typename U>
    friend std::size_t 
    std::hash<Base<U>>::operator()(const Base<U>& b) const noexcept;
};

}

// In implementation file:
template<typename T>
std::size_t std::hash<ns::Base<T>>::operator()(const ns::Base<T>& b) const noexcept
{
    std::size_t seed = b.data_.size();
    for(const auto & x : b.data_)
        seed ^= x;
    return seed;
}


using namespace ns;

int main()
{
    std::set<int> data({1,2,3,4,5});

    Base<int> a(data);

    std::cout << std::hash<Base<int>>{}(a) << std::endl;
}

您可以更改 friend 声明仅对当前模板参数 TBase 有效,即当前实例化。

template<typename T>
class Base {
    std::set<int> data_;

    public:
    Base(const std::set<int>& data): data_{data} {}

    friend std::size_t 
    std::hash<Base<T>>::operator()(const Base<T>& b) const noexcept;

    //or just
    //friend std::size_t 
    //std::hash<Base>::operator()(const Base& b) const noexcept;
};

请注意,效果与您的不同。对于上面的 friend 声明,例如,给定 Base<int>,只有 std::hash<Base<int>>::operator()friend。在代码中使用模板 friend 声明,给定 Base<int>,所有可能的实例化如 std::hash<Base<int>>::operator()std::hash<Base<char>>::operator()、... 都是 friends.