1

我正在构建一个算法主机类，我正在使用数据存储和一堆算法作为策略类。操作的数据在策略宿主类中使用组合（Collection）封装，两种算法（First、Second）公开继承（多重继承）。

当我尝试从宿主类的成员函数访问策略类模板的成员函数时，我只能使用完全限定名称来访问，并且我希望 ADL 应该在宿主类中工作。

这是示例代码：

#include <iostream>


template<typename Element>
class MapCollection
{
    // Map implementation 
    public:

        // Programming to an (implicit) interface
        template<typename Key> 
        void insertElement(Element const & e, Key const& k) {}

        template<typename Key>
        void getElement(Element const& e, Key const& k) {}
};

template<typename Element>
class VectorCollection
{
    // Vector implementation
    public: 

        template<typename Key> 
        void insertElement(Element const & e, Key const& k) {}

        template<typename Key>
        void getElement(Element const& e, Key const& k) {}
};

template<typename Collection>
class FirstAlgorithm 
{
    public: 

        void firstExecute(Collection& coll)
        {
            std::cout << "FirstAlgorithm::execute" << std::endl;
        }
};

template<typename Collection>
class SecondAlgorithm
{
    public: 

        void secondExecute(Collection const & coll)
        {
            std::cout << "SecondAlgorithm::execute" << std::endl;
        }
};

template
<
    typename HostConfigurationTraits
>
class AlgorithmHost
:
    public HostConfigurationTraits::First,
    public HostConfigurationTraits::Second
{
    public:
        typedef typename HostConfigurationTraits::Collection Collection;

    private:
        Collection data_; 

    public: 

        // ADL not working?
        void firstExecute()
        {
            // This works: 
             //HostConfigurationTraits::First::firstExecute(data_);

            // This fails:
            this->firstExecute(data_);
        } 

        // ADL not working?
        void secondExecute()
        {
            // This works:
            //HostConfigurationTraits::Second::secondExecute(data_);

            // This fails:
            this->secondExecute(data_);
        }
};

class EfficientElement {};

struct DefaultAlgorithmHostTraits 
{
    typedef EfficientElement Element;
    typedef VectorCollection<Element> Collection;
    typedef FirstAlgorithm<Collection> First;
    typedef SecondAlgorithm<Collection> Second;
};

int main(int argc, const char *argv[])
{

    AlgorithmHost<DefaultAlgorithmHostTraits> host; 

    // Breaks here:
    host.secondExecute(); 
    host.firstExecute(); 

    return 0;
}

这是由 ADL 引起的，还是我的怀疑放错了地方？:)

我正在使用 g++ 4.4.3。谢谢！

4

1 回答 1

2

您的案例与 ADL 无关，但与您的定义firstExecute掩盖了基类的定义这一事实有关。如果添加这些行：

using HostConfigurationTraits::First::firstExecute;
using HostConfigurationTraits::Second::secondExecute;

在 中AlgorithmHost，它将再次找到基类的成员。这是另一个关于阴影的问题/答案。

于 2013-04-08T16:45:22.587 回答