Description

С помощью BOOST_PROTO_DEFINE_OPERATORS() можно ненавязчиво адаптировать существующий (не-Proto) тип к терминалу Proto.

Trait - это название унарной булевой метафункции, которая возвращается истинной для любых типов, которые вы хотели бы рассматривать как терминалы Proto.

Домен - это имя домена Proto, связанного с этими новыми терминалами Proto. Вы можете использовать proto::default_domain для Domain, если вы не хотите связывать эти терминалы с каким-либо доменом.

Пример:

namespace My {
  // A non-Proto terminal type
  struct S {};
  // A unary Boolean metafunction that returns true for type S
  template<typename T> struct IsS : mpl::false_ {};
  template<> struct IsS<S> : mpl::true_ {};
  
  // Make S a Proto terminal non-intrusively by defining the
  // appropriate operator overloads. This should be in the same
  // namespace as S so that these overloads can be found by
  // argument-dependent lookup
  BOOST_PROTO_DEFINE_OPERATORS(IsS, proto::default_domain)
}
int main() {
  My::S s1, s2;
  
  // OK, this builds a Proto expression template:
  s1 + s2; 
}