3 template <typename Type> cell tag(Type* value) {
4 return RETAG(value, Type::type_number);
7 inline static cell tag_dynamic(object* value) {
8 return RETAG(value, value->type());
11 template <typename Type> struct tagged {
14 cell type() const { return TAG(value_); }
17 if (Type::type_number == TYPE_COUNT)
19 return type() == Type::type_number;
23 FACTOR_ASSERT(type_p());
27 Type* untagged() const {
28 FACTOR_ASSERT(type_p());
29 return (Type*)(UNTAG(value_));
32 explicit tagged(cell tagged) : value_(tagged) {}
33 explicit tagged(Type* untagged) : value_(factor::tag(untagged)) {}
35 Type* operator->() const { return untagged(); }
36 cell* operator&() const { return &value_; }
38 const tagged<Type>& operator=(const Type* x) {
42 const tagged<Type>& operator=(const cell& x) {
47 bool operator==(const tagged<Type>& x) { return value_ == x.value_; }
48 bool operator!=(const tagged<Type>& x) { return value_ != x.value_; }
50 template <typename NewType> tagged<NewType> as() {
51 return tagged<NewType>(value_);
55 template <typename Type> Type* untag(cell value) {
56 return tagged<Type>(value).untagged();