c++ - 如果返回类型是数组，则禁用模板成员函数

Question

https://www.godbolt.org/z/_4aqsF :

template <typename T> struct Container
{
    template <typename TPred> T find_if(TPred pred);  // the culprit
};

template <typename T> Container<T> MakeContainer(T const &)
{
    return Container<T>();    
}

int main()
{
    auto x = MakeContainer("Hello!");
}

gcc、clang 和 msvc 显然同意这无法编译，因为 find_if 会返回一个数组。

(我假设成员模板没有被实例化，因为它没有被使用——显然，这种简单化的观点是错误的。)

为什么SFINAE在这里不适用？

有没有办法排除 T 不是可返回类型的类型的成员模板？

Answer 1

SFINAE 没有参加比赛，因为您的 MakeContainer 中产生的类型的成员在 MakeContainer 的 SFINAE 期间未检查返回点 |过载。

SFINAE 仅在直接上下文中发生。类型和函数的主体不在范围内，不会导致替换失败。

template <typename T=char[7]> Container<char[7]> MakeContainer(char const (&)[7])

这个签名很好。

一旦选择，Container<char[7]>被实例化并解析其方法。

template <typename TPred> char[7] find_if(TPred pred);  // the culprit

没有 TPred这可能会导致这个 find_if是一种有效的方法，因此您的程序格式错误，无需诊断。

正确的解决方法是:

template <typename T> struct Container
{
  template <typename TPred> T find_if(TPred pred);  // the culprit
};
template <class T, std::size_t N> struct Container<T[N]>:
  Container<std::array<T,N>>
{
  using Container<std::array<T,N>>::Container;
};

当然，Container<std::array<T,N>>本身就需要一个很特别的find_if可能还有构造函数。但至少它不会立即破裂。