public interface IContainer<T>
  {
      IEnumerable<T> Items { get; }
      int Count { get; }
  }

public interface Locker {
  void Lock();
  void Unlock();
}

А>public interface Locker {
А>  void Lock();
А>  void Unlock();
А>}
А>

А>в таких случаях можно использовать комментарии

[ContractClass(typeof(LockerContracts))] // указываем контракт
public interface Locker {
// Без дополнительного публичного свойства никак,
// вызывающий код должен понимать, какие контракты налагаются каждым
// методом и должен иметь возможность проверить выполнимость предусловия
bool Locked {get;}
void Lock();
void Unlock();
}

// В .net-е контракты указываются не с помощью атрибутов (они слишком слабовыразительны для этого)
// а с помощью отдельных классов, реализующих требуемый интерфейс
internal abstract class LockerContracts : Locker
{
  public bool Locked {get {throw new NotImplementedException;}}
  public void Lock() {
    // Все, теперь клиенты будут знать, что дважды локать нельзя
    // в противном случае - это баг со всеми вытекающими (ассертом или
    // исключением в рантайме)
    Contract.Requires(!Locked, "We can't acquire lock twice");
  }

  public void Unlock() {
     // Здесь картина аналогична, попытка заанлокать незалоченное приведет к беде
     Contract.Requires(Locked, "We can't release free lock!");
  }
}

А> public interface IContainer<T>
А>  {
А>      IEnumerable<T> Items { get; }
А>      int Count { get; }
А>  }
А>

А>Ну понятно, Count я могу определить через Items, а вот Items как бы я определить не могу. Значит контракт не допустим? Где вообще,уважаемые, можно про такие вещи почитать?

А>Спасибо.

public interface IReadOnlyList<out T> : IEnumerable<T>, IEnumerable
{
    int Count { get; }
    T this[int index] { get; }
}

ST>[ContractClass(typeof(LockerContracts))] // указываем контракт
ST>public interface Locker {
...
ST>internal abstract class LockerContracts : Locker
...
ST>

A>>Вау! Неужто дождались?!

public interface IReadOnlyCollection<out T> : IEnumerable<T>, IEnumerable
{
  int Count { get; }
}

public interface IReadOnlyList<out T> : IReadOnlyCollection<T>
{
  T this[int index] { get; }
}

• IReadOnlyCollection<T>
  
• IReadOnlyList<T>
  
• List<T> : IReadOnlyList<T>