模板实例化,两阶段名称查找,具有自动推导类型的不同行为

看到这个问题后,什么时候检查了C++模板实例化类型？并且在相当长的一段时间里,我开始用代码来吸收知识.答案给出了明确和正确的解释.它提到了两阶段名称查找以及翻译单元结束也被视为功能模板实例化的事实.但是我在使用自动返回类型推导时观察到不同的行为:

这就像原始代码.这是正确的,并按照链接帖子中的解释工作:

class A;
class B;

template  auto foo() -> T * {
  A *pa = nullptr; // ignore pa being `nullptr`.
  return static_cast(pa);
}

auto test() { return foo(); }

class A {};
class B : public A {};

class A;
class B;

template  auto foo()  { // automatic return type deduction
  A *pa = nullptr;
  return static_cast(pa);
}

auto test() { return foo(); }

class A {};
class B : public A {};

class A;
class B;

template  auto foo()  { // automatic return type deduction
  A *pa = nullptr;
  return static_cast(pa);
}

class A {};
class B : public A {};

auto test() { return foo(); }