嵌套从属模板类型

今天在看spdlog的源码的时候，发现了一个重要的知识点——嵌套从属模板类型，示例代码如下

struct synchronous_factory
{
	template<typename T>
	static auto create(T arg)
{
		return 1;
	}
};
template<typename Factory = synchronous_factory>
auto rotating_logger_mt()
{
	auto p = Factory::template create<int>(1); // success
	//Factory::create<int>(1); //error C7510: “create”: 模板 从属名称的使用必须以“模板”为前缀
	return 1;
}

代码中的create函数就属于模板从属类型，因为它是模板类性Factory 里面的模板函数，此时编译器就要求：任何时候想要在template中指定一个嵌套从属类型名称，因为模板类型在实例化之前，无法知道具体的类型，比如这段代码 S::T* b，此时，如果T是S中的类型，那么中断代码是定义一个指针，如果是变量，那么这是一段表示相乘的代码，编译器必须区分它们！因此，为了避免歧义，就必须在紧邻它的前一个位置放上关键字typename。这个时候，紧邻从属类型create的地方就是域操作符::，因此才有了这种写法——Factory::template create<int>(1);