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 void set_value(const cell ptr) {
39 void set_untagged(const Type *untagged) {
40 set_value(tag(untagged));
43 Type* operator->() const { return untagged(); }
44 cell* operator&() const { return &value(); }
46 bool operator==(const tagged<Type>& x) { return value_ == x.value_; }
47 bool operator!=(const tagged<Type>& x) { return value_ != x.value_; }
49 template <typename NewType> tagged<NewType> as() {
50 return tagged<NewType>(value_);
54 template <typename Type> Type* untag(cell value) {
55 return tagged<Type>(value).untagged();