C++ 개념과 Java 인터페이스의 차이점은 무엇입니까?

Question

저는 C++ 14/17에서 소개 될 개념에 대해 몇 가지 독서를하고 있습니다. 자바 인터페이스로 개념적으로, 거의 같은이되지

// Define the concept (from wikipedia) 
auto concept less_comparable<typename T> { 
    bool operator<(T); 
} 

// A class which implements the requirements of less_comparable, 
// with T=`const string &` 
class mystring 
{ 
    bool operator < (const mystring & str) { 
     // ... 
    } 
}; 

// Now, a class that requires less_comparable 
template <less_comparable T> 
class my_sorted_vector 
{ 
    // ... 
}; 

// And use my_sorted_vector 
my_sorted_vector<int> v1;     // should be fine 
my_sorted_vector<mystring> v2;    // same 
my_sorted_vector<struct sockaddr> v3;  // must give error? 

내 질문은 : 내가 이해 무슨에서, 우리는 정의와 같은 개념을 사용합니까? 그렇지 않다면 어떻게 다른가요?

감사합니다.

Answer 1

Java 인터페이스는 유형을 정의합니다. 예를 들어, Comparable<String> 유형의 변수를 가질 수 있습니다. C++ 개념은 이 아니라 형식을 정의합니다. 유형이 less_comparable<string> 인 변수를 사용할 수 없습니다.

개념 은 유형을 분류하는 것과 마찬가지로 유형을 분류합니다. 개념은 유형 위의 한 단계입니다. 다른 프로그래밍 언어에서 개념은 "메타 유형"또는 "유형 클래스"와 같은 다른 이름을가집니다.

Answer 2

Java 인터페이스에는 상속 관계가 필요합니다. 개념은 duck typing과 유사하게 작동합니다. 개념에 필요한 연산자/구성원을 제공하는 모든 개체는 개념과 호환됩니다.