c++ - 我可以为运算符显式指定模板参数吗？

Question

我有 Foo 类:

class Foo {
    template <typename T>
    T* operator () (void) {
        return (T*) something;
    }
}

T无法推导出来，但我想要的是能够说出类似的话

Foo foo;    
type_t bar = foo <type_t> ();

但这是语法错误。

有没有办法做到这一点？(或者也许是在不提供类型实例的情况下传递类型的更好方法？)

Answer 1

您可以使用运算符名称语法来实现:

type_t *bar = foo.operator() <type_t> ();

那当然很丑。有两种解决方案:

1. 更改运算符，使其接受一个参数，从而可以推导类型。

2. 将其从运算符更改为命名函数。它看起来不像是 operator() 的典型用法。