Rusty C++

rusty-c++.cpp

#include <iostream>

struct MyTrait;
struct AnotherTrait;
struct YetAnotherTrait;
struct RubbishTrait;

template <class ... Traits>
struct MyTypeWithTrait {};

template< template<typename ...> class TypeWithTrait, class ... OtherTraits >
void impledFunc(TypeWithTrait<MyTrait, OtherTraits...> entity) {
  // do something.
  std::cout << "I'm fooed by C++\n";
}

template< template<typename ...> class TypeWithTrait, class HeadTrait, class ... OtherTraits >
void impledFunc(TypeWithTrait<HeadTrait, OtherTraits...> entity) {
  // do something.
  impledFunc(*reinterpret_cast<MyTypeWithTrait<OtherTraits...>* >(&entity));
}

int main() {
  MyTypeWithTrait<MyTrait> myEntity;
  impledFunc(myEntity);

  MyTypeWithTrait<YetAnotherTrait, AnotherTrait, MyTrait, RubbishTrait> myAnotherEntity;
  impledFunc(myAnotherEntity);

  MyTypeWithTrait<YetAnotherTrait, AnotherTrait, RubbishTrait> myRubbishEntity;
  impledFunc(myRubbishEntity); // Won't compile
}