c外部类接口和模板

在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
}

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

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

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

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