Справка реализации шаблона спецификации

Это зависит от языка. Самый простой способ (концептуально): поиск обоих и убедитесь, что оба не совпадают. В Ruby:

s = "FileNTile"
(s !~ /File/) and (s !~ /Tile)  # true if s is free of files and tiles.

^((?!File|Tile).)*$

Это вряд ли будет хорошей идеей, хотя. Почти каждая среда программирования будет иметь более четкий и более эффективный подход с совпадением строк. (например, Python: , если "File" не в s и "Tile" не в s )

Также не во всех реализациях regex выполняется поиск. например. он не надёжен в JavaScript. И могут возникнуть проблемы с новыми линиями в зависимости от режима (мультилиния, флажки dotall).

public class Parent {
  private List<Child> children;

  public ICollection<Child> Children { 
    get { return children.AsReadOnly(); } 
  }

  public void AddChild(Child child) {
    if (!child.IsSatisfiedBy(this)) throw new Exception();
    child.Parent = this;
    children.Add(child);
  }
}

public class Child {
  internal Parent Parent { get; set; }

  public DateTime ValidFrom;
  public DateTime ValidTo;

  public bool IsSatisfiedBy(Parent parent) { // can also be used before calling parent.AddChild
    return parent.Children.All(c => !Overlaps(c));
  }

  bool Overlaps(Child c) { 
    return ValidFrom <= c.ValidTo && c.ValidFrom <= ValidTo;
  }
}

UPDATE:

Но, конечно, реальная сила шаблона спецификации заключается в том, что можно подключить и объединить различные правила. Можно использовать такой интерфейс (возможно, с лучшим именем):

public interface ISpecification {
  bool IsSatisfiedBy(Parent parent, Child candidate);
}

И затем использовать его в Parent :

public class Parent {
  List<Child> children = new List<Child>();
  ISpecification childValiditySpec;
  public Parent(ISpecification childValiditySpec) {
    this.childValiditySpec = childValiditySpec;
  }
  public ICollection<Child> Children {
    get { return children.AsReadOnly(); }
  }
  public bool IsSatisfiedBy(Child child) {
    return childValiditySpec.IsSatisfiedBy(this, child);
  }
  public void AddChild(Child child) {
    if (!IsSatisfiedBy(child)) throw new Exception();
    child.Parent = this;
    children.Add(child);
  }
}

Child будет просто:

public class Child {
  internal Parent Parent { get; set; }
  public DateTime ValidFrom;
  public DateTime ValidTo;
}

И можно реализовать несколько спецификаций или составных спецификаций. Это пример

public class NonOverlappingChildSpec : ISpecification {
  public bool IsSatisfiedBy(Parent parent, Child candidate) {
    return parent.Children.All(child => !Overlaps(child, candidate));
  }
  bool Overlaps(Child c1, Child c2) {
    return c1.ValidFrom <= c2.ValidTo && c2.ValidFrom <= c1.ValidTo;
  }
}

Обратите внимание, что имеет смысл сделать открытые данные Child незыблемыми (только с помощью конструктора), чтобы ни один экземпляр не мог изменить свои данные таким образом, чтобы сделать недействительным Parent .

Также рассмотрите возможность инкапсуляции диапазона дат в специализированную абстракцию .