DO>Компиляция проходит без ошибок и предупреждений. Справедлив ли такой код, и если да, то как правильно инстанцировать такой шаблон?
Хехе. Он справедлив, но вполне может быть не тем, что ты от него ожидаешь
Инстанцировать так:

template <class ret_t (*) (class args_t)>
class test
{
};

class ret_t{};
class args_t{};

ret_t fun(args_t);

int main()
{
   test<fun> a;
}