合并接口，不合并

Question

我在想，C++ 或 Java 是否有办法做这样的事情，这

Interface IF1{
    ....
};

Interface IF2{
    ....
};


function f(Object o : Implements IF1, IF2){
    ...
}

意味着类型系统允许您要求实现接口。

Answer 1

您可以在 Java 中执行此操作：

public <I extends IF1 & IF2> void methodName(I i){

....

}

这样，您可以强制 I 实现您的两个接口，否则它甚至无法编译。

Answer 2

在 C++ 中，我们可以使用 std::is_base_of。这必须与实际的派生类型和基类型一起使用，并且在 tempalte 的帮助下将很容易使用。

template<typename T>
void f (T obj)
{
  static_assert(is_base_of<IF1,T>::value && is_base_of<IF2,T>::value,
  "Error: Not implementing proper interfaces.");
  ...
}

如果 T（派生 类）未实现 IF1 和 IF2，则断言将在编译时失败。

Answer 3

在 C++ 中，你可以这样做：

template <typename T>
void f(T &o)
{
    IF1 &i1 = o;
    IF2 &i2 = o;

    //function body
}

需要带有接口指针的行来确保 T 实现两个接口（如果不是，则会导致编译器错误）。

Answer 4

使用 boost 库 (type_traits, < a href="http://www.boost.org/doc/libs/1_47_0/libs/utility/enable_if.html" rel="nofollow">enable_if, and_），你可以做一些相当复杂的事情。

template <typename T>
typename boost::enable_if<           // Check whether
    boost::mpl::and_<                // Both of the following conditions are met
        boost::is_base_of<IF1, T>,   // T derives from IF1
        boost::is_base_of<IF2, T>    // T derives from IF2
        >
    >
>::type
function(T& t)
{
  // ...
}

我的代码中可能存在一些怪癖，但您明白了。

Answer 5

在java中没有这样的东西，我会添加第三个元素来实现这两个接口并将其用作参数。这对我来说非常有意义，因为第三个对象既不是 IF1 也不是 IF2，而只是 IF3。

interface a {
  int foo();
}


interface b {
  long foo2();
}

interface c extends a, b {
  long daaa();
}

public class TestInterface {

  void someMethod (c theThird) {
    return;
  }
}

这对我来说很有意义。

编辑：
不知道

public <I extends a & b> void methodName(I i){

}

但是我发现它令人困惑。如果一个对象需要实现两个不同的接口，我更喜欢第三个。恕我直言，它更干净。

Answer 6

有什么问题：

interface IF1IF2 extends IF1, IF2 {}

void f(IF1IF2 o) {
}

为什么要把事情复杂化？