Objective-C中的覆盖方法

#import <Foundation/Foundation.h>

@interface BaseClass : NSObject
{
}
- (void) virtualMethod: (NSInteger) integer;
@end

@interface DerivedClass : BaseClass
{
}
- (void) virtualMethod: (NSString *) string;
@end

@implementation BaseClass

- (void) virtualMethod: (NSInteger) integer
{
    NSLog(@"%ld",integer);
}
@end

@implementation DerivedClass

- (void) virtualMethod: (NSString *)string
{
    NSLog(@"%@",string); // Program received signal: "EXC_BAD_ACCESS". -- as expected
}
@end

int main (int argc,const char * argv[])
{
    NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init];

    NSArray *arr = [NSArray arrayWithObjects: [BaseClass new],[DerivedClass new],nil];
    for (int i = 0; i < arr.count; i++) 
    {
        BaseClass *b = (BaseClass *)[arr objectAtIndex: i];
        [b virtualMethod: i];
    }
    NSLog(@"nnTapos na!nn");

    [pool drain];
    return 0;
}

正如所料,我在派生的virtualMethod：中得到了一个EXC_BAD_ACCESS,因为毕竟它不需要一个整数,它需要一个NSString *作为参数.虚拟机制基于选择器,并且似乎不考虑签名.

我的问题是：语言中是否有某些东西可以阻止这种覆盖与不同的签名发生？有些方法告诉编译器virtualMethod：应该始终具有相同的签名,或者如果签名不匹配,编译器会发出某种提示,警告或错误？

我知道一个好的程序员总是指出一个方法应该具有的类型的名称,但这是一个约定,而不是语言规则.我问的是编译器功能,以防止问题发生.