c外部类接口和模板

2019年8月4日 167次阅读

在C中,我们可以在使用函数时省略命名空间限定,该函数将作为其第一个参数的类型的对象与我们的函数在同一名称空间中声明.但是,我注意到这不适用于模板化函数(如std :: get).我写了一个简单的例子来确认这与模板真的有关：

namespace ns {

    struct S {};

    void sFoo(const S&) {}
    template<typename T> void sBar(const S&) {}
}

void foo()
{
    ns::S s;
    sFoo(s); // ok
    sBar<int>(s); // error: ‘sBar’ was not declared in this scope
    ns::sBar<int>(s); // ok
}

我尝试了显式实例化,但它没有改变任何东西(即使它会,它会比使用使用更糟糕的选择).

那么为什么exacly不能在没有指定命名空间的情况下调用模板化函数(假设既不使用也不使用命名空间指令)？

最佳答案 sBar不是一个函数,而是一个函数模板.依赖于参数的查找仅适用于函数名称.确实,sBar< int>是一个函数,但如果你不知道它的正确名称,你就无法实例化该模板！

不相关的是,如果可以推导出模板参数,那ADL确实有效：

namespace ns
{
    template <typename T> void sZip(T &) { }
}

void foo()
{
    ns::S s;
    sZip(s);  // OK, deduces T = ns::S
}

C的一般“最佳实践”是仅在可以推导出参数的情况下制作函数模板,并且永远不要明确指定参数. (此规则的例外是std :: forward和各种make_ *函数,它们需要一个强制参数用于所需的结果类型.)

点赞