基于概念的模板成员函数重载

Question

this snippet 中显示了我们如何在没有概念的情况下重载模板类的模板成员函数的示例。

现在大致尝试使用概念编写类似的东西：

template <typename T>
struct Foo{
    Foo(T elem): elem_(elem) {}
    template <typename U = T>  requires Integral<U>
    int get() {
        return -1;
    }
    template <typename U = T>  requires Bool<U>
    int get() {
        return 0;
    }
    T elem_;
};

有两种组织方式：
1. 将声明和定义放在一起：这按预期工作。 Code Snippet
2.声明和定义分离：编译失败(Code Snippet)

鉴于上述情况，我有两个问题：
1. 原来需要template <typename T> template <typename U=T> member_fn...的原因是因为SFINAE。有没有办法通过概念来避免这种情况以进一步简化代码？
2. 如何正确分离声明和定义？

Answer 1

首先，模板的约束在声明和定义中必须相同（参见[temp.over.link]/6）。否则编译器无法推断出哪个声明引用了定义。

所以这段代码会编译：

template <typename T>
struct Foo{

  Foo(T elem): elem_(elem) {}

  template <typename U = T>  requires Integral<U>
  int get() ;

  template <typename U = T>  requires Bool<U>
  int get() ;

  T elem_;
  };

template<class T>
template<class U> requires Integral<U> 
int Foo<T>::get() {
  return -1;
  }
template<class T>
template<class U> requires Bool<U>
int Foo<T>::get()  {
  return 0;
  }

然后不需要使用默认模板参数的概念检查延迟技巧，因为可以将约束与trailing require-clause中的函数相关联：

template <typename T>
struct Foo{

  Foo(T elem): elem_(elem) {}


  int get() requires Integral<T>;

  int get() requires Bool<T>;

  T elem_;
  };

template<class T>
int Foo<T>::get() requires Integral<T> {
  return -1;
  }

template<class T>
int Foo<T>::get() requires Bool<T> {
  return 0;
  }