Question

我正在努力进行前瞻宣言。 B引用A，A使用B的std :: vector。 A和B都在通用（无）命名空间中定义。

在A的标题中转发声明B为A中的成员执行作业。然而，我在同一个头文件中为A定义了散列函数，这会导致麻烦。

#include "B.h"
class B;
class A{
public:
   std::vector<B> bs; 
}

namespace std
{
template <>
struct hash<A>
{
    size_t operator()(const A& k) const
    {
        std::size_t seed = 0;
        boost::hash_combine(seed, k.foo);
        boost::hash_combine(seed, k.bar);
        for(B &b:k.bs){
            boost::hash_combine(seed, b.abc);
        }

        return seed;
    }
};
}

该函数访问B的向量，因此也需要前向声明。但是，它没有在父头文件中使用前向声明。不幸的是，我无法在命名空间std中再次向前声明它，因为这会在定义之间产生歧义。有什么想法吗？

Answer 1

您可以将hash<A>::operator()的定义移动到源文件中。所以：

// A.h
#include <vector>
#include <functional>

struct B;

struct A {
    std::vector<B> bs;
};

namespace std {
    template <>
    struct hash<A> {
        size_t operator()(const A& ) const;
    };
}

// A.cpp
#include "B.h"

// now, B is complete, so we can define operator()
size_t std::hash<A>::operator()(const A& k) const
{
    std::size_t seed = 0;
    boost::hash_combine(seed, k.foo);
    boost::hash_combine(seed, k.bar);
    for(const B& b : k.bs){
        boost::hash_combine(seed, b.abc);
    }

    return seed;
}

来自通用命名空间的前向声明类（在std :: hash

1 个答案: