包含格式错误的模板成员函数的格式正确的程序?

在下面的片段中,我对 Wrapper::f() const 不会使我的程序格式错误 ^1. 尽管它调用了非可变成员变量的非常量成员函数:

// well-formed program (???)
// build with: g++ -std=c++17 -Wall -Wextra -Werror -pedantic
template<class T> struct Data { void f() {} };

template<class T> struct Wrapper
{
    Data<T> _data;
    void f() const { _data.f(); } // _data.f(): non-const!
};

int main()
{
    Wrapper<void> w; // no error in instantiation point?
    (void) w;
}

demo ^2.

另一方面,如果 Data 是非模板类 ^3. ,我的编译器将发出诊断:

// ill-formed program (as expected)
// build with: g++ -std=c++17 -Wall -Wextra -Werror -pedantic
struct Data { void f() {} };

template<class T> struct Wrapper
{
    Data _data;
    void f() const { _data.f(); } //error: no matching function for call to 'Data::f() const'
};

int main()
{
    Wrapper<void> w;
    (void) w;
}

demo

我觉得答案将包含诸如“推断上下文”之类的表达。。。但我真的无法确定这一行为标准的确切部分。

有没有语言律师在这件事上给我启发?

笔记:
¹⁾ 但如果我尝试并有效地 呼叫 Wrapper<T>::f() const .
²⁾ 我用 -std=c++17 但这不是C++17特有的,因此没有特定的标记。
³⁾ 在里面 this answer ,@Baum mit Augen引号 [N4140, 14.7.1(2)] :

当在要求成员定义存在的上下文中引用专门化时,会隐式实例化成员的专门化

但这里是编译代码段(#2) void f() const { _data.f(); } 尽管其 “专业化是 从不 在要求成员定义存在的上下文中引用“ .