类模板参数推导成员类模板

Question

考虑以下

template <typename T1>
struct OuterFoo {
  template <typename T2>
  struct InnerFoo  {
    InnerFoo(T2 v2) {}
  };

  explicit OuterFoo(T1 v1) {}
};

int main() {
  OuterFoo outer_foo{6};
  OuterFoo<int>::InnerFoo inner_foo{3};

  return 0;
}

https://godbolt.org/z/RjUuWM

clang拒绝编译这个，说“没有可行的构造函数或扣除指导来扣除'InnerFoo'的模板参数” - 另一方面，Gcc编译没有问题。

提供的示例是否正确（如标准所示）CTAD的用法并且在此处有错误？

如果提供了扣除指南，则clang编译正常，但gcc不接受该指南：https://godbolt.org/z/4b-9Cr

template <typename T1>
struct OuterFoo {
  template <typename T2>
  struct InnerFoo  {
    InnerFoo(T2 v2) {}
  };

  // This Template Deduction Guide is required in clang 6
  // for the example to compile.
  // GCC compiles without this TDG but reports an error
  // with it
  // "deduction guide ‘OuterFoo<T1>::InnerFoo(T2) -> OuterFoo<T1>::InnerFoo<T2>’
  // must be declared at namespace scope"
  template<typename T2> InnerFoo(T2 v2) -> InnerFoo<T2>;

  // ...but no TDG is required for OuterFoo
  explicit OuterFoo(T1 v1) {}
};

int main() {
  OuterFoo outer_foo{6};
  OuterFoo<int>::InnerFoo inner_foo{3};

  return 0;
}

clang和gcc中成员模板类的CTAD状态是什么？它还没有吗？

Answer 1

clang和gcc中成员模板类的CTAD状态是什么？它还没有吗？

根据language features support page for GCC，CTAD适用于版本7及更高版本。

根据language features support page for Clang，CTAD适用于版本7及更高版本。

但请注意，在这些实现的更高版本中已报告并解决了缺陷。