C++类的构造函数及操作符()重载

昨天看到一个提问帖子问到一个有关构造函数的问题，问题意思如下：

定义一个class Cat，然后创建实例，发现Cat frisky和Cat frisky()两种方式表现不一。

我用vs调试了一下

#include <iostream>

class Cat{
public:
	Cat(){std::cout << "default-constructor" << std::endl;}
	Cat(int i){std::cout << "new-constructor" << std::endl;}
	void operator ()(){std::cout << "operator-void" << std::endl;}
	void operator ()(int i){std::cout << "operator-int" << std::endl;}
	~Cat(){std::cout << "destructor" << std::endl;}
};

void test()
{
	Cat();		// "default-constructor destructor"
	Cat(1);		// "new-constructor destructor"

	Cat a;		// "default-constructor"
	a();		// "operator-void"
	a(1);		// "operator-int"

	Cat b();	// * do nothing

	Cat c(1);	// "new-constructor"
	c();		// "operator-void"
	c(1);		// "operator-int"

	Cat d = Cat(); // 同 a
	d();
	d(1);

	Cat e = Cat(1); // 同 c
	e();
	e(1);
}

int main(int argc, char **argv)
{
	test();
	return 0;
}

发现"Cat b();"这一句压根就没走到，单步调试直接跳过了，感觉是被编译器干掉了。难道是C++允许这种写法，但却又是无效的代码，与其这样，为什么不直接在编译期间就报错呢？具体原因我也说不上来，希望有个明白人解释一下。