템플릿 아규먼트 생략해도 인스턴스화가 가능?

Modern C++ Design 을 읽다가 의문점이 생겼습니다.

Functor 클래스 템플릿의 정의를 보면, (직접 loki 소스 받아서 Copy & Paste 한 것입니다.)

template <typename R, class TList = NullType, template<class> class ThreadingModel = DEFAULT_THREADING>
class Functor
{
public:
      template <class PtrObj, typename MemFn>
        Functor(const PtrObj& p, MemFn memFn)
        : spImpl_(new MemFunHandler<Functor, PtrObj, MemFn>(p, memFn))
        {}
       ......
}

와 같이, Functor 는 최소한 R 을 필요로 합니다.

그런데 책 205 페이지를 보면,

Functor<> cmd1(&geronimo, &Parrot::Eat);

처럼, Functor<> 를, 즉 아무런 타입 인자 없이 템플릿 클래스를 인스턴스화 하고 있습니다.
이상하게 생각되어 제가 직접 비슷한 코드를 만들어 확인해 봤습니다.

template <typename D>
class DP
{
public:
        DP(const D& d) : _d(d) { }
private:
        D _d;
};

int main(int argc, char* argv[])
{
        DP<> di(static_cast<int>(10));

        return 0;
}

위의 코드는 컴파일 되지 않았습니다.
물론, DP<int> 라고 하면 컴파일 되었구요.

책에 나온 코드는 어떻게 가능한 것인지 궁금하네요.

이 책 읽어보신 분이 많으실 것 같은데,
원리를 아시는 분 계시면 가르쳐 주세요.