Qual è la differenza tra concetti di C++ 0x e vincoli C#?

Question

C++ 0x introduce concetti, che consentono di definire, fondamentalmente, un tipo di un tipo. It specifies the properties required of a type.

C# consentono di specificare vincoli di un generico con la clausola "where".

C'è qualche differenza semantica tra di loro?

Grazie.

Answer 1

Una cosa da tenere a mente è che i modelli C++ e i generici C# non sono esattamente gli stessi. Vedere questo answer per ulteriori dettagli su tali differenze.

Dalla pagina che hai collegato alla spiegazione di concetti C++ 0x, sembra che l'idea sia che in C++ si voglia essere in grado di specificare che il tipo di modello implementa determinate proprietà. In C#, il vincolo va oltre quello e costringe il tipo generico a essere "di" quel vincolo. Ad esempio, il seguente codice C#:

public GenericList<T> where T : IDisposable 

dice che qualsiasi tipo usato al posto di T deve implementare l'interfaccia IDisposable. Analogamente, il codice seguente:

public abstract class ABC {} 
public class XYZ : ABC {} 

public GenericList<T> where T : ABC 

dice che qualsiasi tipo usato al posto di T deve essere di tipo ABC o derivato da ABC.

L'idea del concetto C++ 0x indica solo che il tipo utilizzato al posto di T deve avere le stesse proprietà definite da ABC (o IDisposable) che non deve essere di quel tipo.