Question

我想了解为什么void handleParam(const Str& name, Table<T> value)模板重载从未实例化（请注意，下面的代码是说明性的）。我敢肯定有一个很好的理由为什么它不起作用，我只想了解这个原因。我知道（并使用）使用中间模板结构的解决方法。但是，如果可能出现如下所示的情况，它将大大简化我的代码。

class TypeHandler
{
public:
    TypeHandler(OtherClass& bi) : _bi(bi) { }

    template <typename T> void handleParam(const Str& name, Table<T> value)
    {
        // Never gets instantiated.
    }

    template <typename T> void handleParam(const Str& name, T value)
    {

    }
}

template<typename HandlerType>
void HandleParamValue::handleTab(DataBlock& data, HandlerType& handler) {

    ...

    // Table of floats.
    Table<float> tab;
    handler.handleParam<Table<float>>(param_name, tab);

    // etc.
    ...
}

template<typename HandlerType>
void ParamStore::Iterate(HandlerType& handler) {
    for (...) {

        ...

        if (is_table(type)) {
            HandleParamValue::handleTab<HandlerType>(_datablock, handler);
        }
        else {
            HandleParamValue::handle<HandlerType>(_datablock, handler);
        }
    }
}

// Kick the whole thing off.
TypeHandler handler(_some_instance);
_param_store->Iterate(handler);

Answer 1

原因似乎很简单：如果您写

handler.handleParam<Table<float>>(param_name, tab);

您明确指定T = Table<float>。因此，使用handleParam(const Str& name, T value)。如果要使用handleParam(const Str& name, Table<T> value)，则需要指定T = float：

handler.handleParam<float>(param_name, tab);

甚至

handler.handleParam(param_name, tab);

因为编译器会自动选择最专业的版本。

我使用以下代码进行测试：

#include <iostream>
#include <vector>

class TypeHandler
{
public:

    template <typename T> void handleParam(const std::string& name, std::vector<T> value)
    {
        std::cout << "std::vector<T>\n";
    }

    template <typename T> void handleParam(const std::string& name, T value)
    {
        std::cout << "T\n";
    }
};

template<typename HandlerType>
void handleTab(const std::string& name, HandlerType& handler) {
    std::vector<float> tab;
    handler.handleParam(name, tab);
}

int main()
{
    TypeHandler t;
    handleTab("dfds", t);
    return 0;
}

如果不能充分反映您的问题，请在评论中进行解释。

T与SomeClass <t>的模板函数重载分辨率

1 个答案: