Question

Occasionally, during development/debugging, I want to ensure that an object is of a certain type:

PageTopBottom *newPage = [notification object];
assert([newPage isKindOfClass:[PageTopBottom class]]);

which I’ve worked into this

#define assertType(_var_, _class_) assert([_var_ isKindOfClass:[_class_ class]])

and

PageTopBottom *newPage = (id)[notification object];
assertType(newPage, PageTopBottom);

but now I’d like to, if possible, just use

assertType(newPage)

Is it possible to get information about a variable’s declared type from the variable?

I’m not positive that I’m framing the question correctly, but any answer that gets me to be able to assertType with one parameter would be great.

Answer 1

Is it possible to get information about a variable’s declared type from the variable?

No. By the time the program is running, that information is lost. In your case, newPage is just a 32 or 64 bit number that points to a bit of memory that holds an Objective-C object.

I think your original unmacro’d version is the right thing to do here:

assert([newPage isKindOfClass:[PageTopBottom class]]);

That perfectly documents the assumption you are making i.e. that you assume newPage is an instance of PageTopBottom or one of its subclasses and it’s completely clear to anybody who understands Objective-C. Your macro version slightly obfuscates that, in that somebody coming across it in the code might beleive it is asserting that newPage is a PageTopBottom and not one of its subclasses (you could change the name of the macro to prevent that, I suppose, but I just wouldn’t bother).

Edit

What you could do is combine the declaration and assertion in one:

#define DECLARE_AND_ASSERT_IS_KIND_OF_CLASS(T, V, I)    T* V = (T*)(I); assert([(V) isKindOfClass: [(T) class])

which would work like this:

DECLARE_AND_ASSERT_IS_KIND_OF_CLASS(PageTopBottom, newPage, [notification object]);