什么是非推断的语境？

Question

什么是非推断的语境？

我被暴露在这个问题最近的答案可以归结为“这是一个没有推论的语境”。

具体来说，第一个说它是这样一个东西，然后重定向到标准的“细节”，而第二个引用的标准，这是神秘的，至少可以说。

有人能不能向凡人解释一下，像我这样的人非推导语境它是什么时候发生的，为什么会发生？

Answer 1

也许就像template <std::size_t> struct Bar; template <typename T> void(Bar<sizeof(T)>);

Answer 2

重点是：类型之间存在一对一的对应关系。T和模板类Foo<T>，这样你就可以从后者中推断出前者。但有不类型间的对应T和任意成员Foo<T>::X