具有特定接口的类型的 C++ 模板特化答案

【问题标题】：C++ template specialization with types which have certain interface具有特定接口的类型的 C++ 模板特化
【发布时间】：2018-12-02 11:55:45
【问题描述】：

假设我有这样的模板：

template<class T>
class A
{
   ...
};

我希望这个模板只有在将替换T 的类型具有特定接口时才能被特化。比如这个类型必须有这样两个方法：

int send(const char* buffer, size_t size);
int receive(char* buffer, size_t size);

如何对模板进行此限制？感谢您的帮助！

更新：

这个问题是关于 SFINAE 的？与继承或类设计无关。

【问题讨论】：

不要将模板与抽象基类要求混淆。如果您需要一组特定的函数，将该接口定义为一个类并使其成为一个简单的类型化需求。
Check if class has function with signature的可能重复
@tadman 假设您可以将基类添加到您感兴趣的所有类型中。
@Caleth 这就是多重继承的意义所在。在 C++ 有协议支持之前，事情就是这样摆脱的。
@tadman 我的意思是，您可能从第三方接收具有这些方法的对象，您无法控制实例化，因此您无法更改类

标签： c++ templates template-specialization

【解决方案1】：

最简单的方法是在A 中使用T::send 和T::receive，任何不实现这些的类型都将导致编译时无法实例化模板。您只需要 SFINAE 来区分模板的特化。

例如

template<class T>
class A
{
    void useT(T & theT)
    {
        char buf[20]
        theT.send("Some Thing", 11);
        theT.recieve(buf, 20);
    }
};

【讨论】：

感谢您的回复！你能提供一些代码或例子吗？

【解决方案2】：

另一个答案显然更可取，但由于您明确要求 SFINAE，因此您可以：

#include <iostream>
#include <utility>

// std::void_t in C++17
template < typename... >
using void_t = void;


// Check if there is a member function "send" with the signature
// int send(const char*, size_t)
template < typename T >
using send_call_t = decltype(std::declval<T>().send(std::declval<char const *>(), std::declval<size_t>()));

template < typename, typename = void_t<> >
struct is_send_callable : std::false_type {};

template < typename T >
struct is_send_callable< T, void_t< send_call_t<T> > > : std::is_same< send_call_t<T>, int > {};


// Check if there is a member function "receive" with the signature
// int receive(const char*, size_t)
template < typename T >
using recv_call_t = decltype(std::declval<T>().receive(std::declval<char *>(), std::declval<size_t>()));

template < typename, typename = void_t<> >
struct is_recv_callable : std::false_type {};

template < typename T >
struct is_recv_callable< T, void_t< recv_call_t<T> > > : std::is_same< recv_call_t<T>, int > {};


// Make a struct which implements both
struct sndrecv
{
  int send(const char* buffer, size_t size)
  {
    std::cout << "Send: " << buffer << ' ' << size << '\n';
    return 0;
  }

  int receive(char* buffer, size_t size)
  {
    std::cout << "Receive: " << buffer << ' ' << size << '\n';
    return 0;
  }
};


// Disable A if T does not have send and receive
template < typename T, typename >
class A;

template < typename T, typename = typename std::enable_if< is_send_callable<T>::value && is_recv_callable<T>::value >::type >
class A {};


int main() {
  A<sndrecv> a;
//A<int> b; // BOOM!
}

【讨论】：

【解决方案3】：

检查类是否具有具有特定签名的方法是 SFINAE 原则的常见应用。例如，您可以检查there 和there。

【讨论】：