Thêm ràng buộc tham số kiểu để ngăn các lớp trừu tượng

Question

Có thể hạn chế tham số kiểu để triển khai thực hiện cụ thể của lớp trừu tượng không, nếu những triển khai đó không có các hàm tạo mặc định?

Ví dụ, nếu tôi có:

public abstract class Animal 
{ 
    private Animal() 
    { 
    } 

    public Animal(string name) 
    { 
     // ... 
    } 

    // ... 
} 


public class Penguin : Animal 
{ 
    // ... 
} 


public class Chimpanzee : Animal 
{ 
    // ... 
} 

Và tôi cũng có lớp sau đây:

public class ZooPen<T> 
    where T : Animal 
{ 
    // ... 
} 

Tôi muốn cho phép new ZooPen<Penguin>() và new ZooPen<Chimpanzee>(), nhưng tôi muốn để không cho phép new ZooPen<Animal>().

Điều này có khả thi không?

Answer 1

Dưới đây là một cách để thực hiện những gì bạn đang yêu cầu.

abstract class Animal 
{ 
    readonly string Name; 
    Animal() { } 
    public Animal(string name) { Name = name; } 
} 

abstract class Animal<T> : Animal where T : Animal<T> 
{ 
    public Animal(string name) : base(name) { } 
} 

class Penguin : Animal<Penguin> 
{ 
    public Penguin() : base("Penguin") { } 
} 

class Chimpanzee : Animal<Chimpanzee> 
{ 
    public Chimpanzee() : base("Chimpanzee") { } 
} 

class ZooPen<T> where T : Animal<T> 
{ 
} 

class Example 
{ 
    void Usage() 
    { 
     var penguins = new ZooPen<Penguin>(); 
     var chimps = new ZooPen<Chimpanzee>(); 
     //this line will not compile 
     //var animals = new ZooPen<Animal>(); 
    } 
} 

Bất kỳ ai duy trì mã này có thể có chút nhầm lẫn, nhưng nó thực sự chính xác như bạn muốn.

Answer 2

Bạn có thể thêm ràng buộc new(), điều này sẽ yêu cầu lớp không được trừu tượng và có hàm tạo mặc định.

Answer 3

public class ZooPen<T> where T : Animal 
{ 
    public ZooPen() 
    { 
     if (typeof(T).IsAbstract) 
      throw new ArgumentException(typeof(T).Name + " must be non abstract class"); 
    } 
}