依赖名称的模板消歧器

此问题基于C++引用部分：依赖名称-依赖名称的模板消歧器。

我已经理解，当调用模板类中的模板成员函数时，关键字template是必要的，以使编译器知道下面的括号用于指示模板参数。就像本节中使用的示例一样。

template<typename T>
struct S {
template<typename U> void foo(){}
};
template<typename T>
void bar()
{
S<T> s;
s.foo<T>(); // error: < parsed as less than operator
s.template foo<T>(); // OK
}

然而，在后面的部分中，它描述了当模板名称出现在成员访问表达式中时(在->之后或在.之后)，如果在表达式的上下文中通过普通查找找到了具有相同名称的模板，则消歧器是不必要的。

然后它附带了以下代码。与前面的例子相比，它定义了集合函数，其名称也存在于标准库中。同时，使用std:：set设置，使set模板在template函数中可见。在这种情况下，即使没有提供关键字模板，它仍然可以很好地工作。

#include <set>
using std::set; // makes 'set' visible to lookup from bar
template<typename T> 
struct S { 
template<typename U> void set(){}
};
template<typename T>
void bar()
{
S<T> s;
s.set<T>(); // not an error if ::set is visible:
// (and since C++11, this is well-formed)
s.template set<T>(); // works with and without ::set
}

根据我的理解，我尝试了自己的版本

#include <iostream>
template <typename T> 
struct S{
template <typename U> void func(){
std::cout << "In S::funcn";
}
};
// In order to make member template function is visible in function test,
// defining a global template function **func** whose name is same with one 
// member template function in struct S.
template <typename M>
void func(){
std::cout << "from ordinary funcn";
}
template <typename M>
void test(){
S<M> s;
func<M>();     // test func template function is visible in test function
s.func<M>();     
}
int main(){    
test<int>();
}

详细错误消息如下所示

[17:17:50][ryu@C++_test]$ g++ -g typename2.cpp 
typename2.cpp:61:7: error: use 'template' keyword to treat 'func' as a dependent
template name
s.func<M>();
^
template 
1 error generated.

任何关于如何使我自己的代码在没有关键字模板的情况下运行良好的建议都将不胜感激。