从C++模板专门化中调用“基”模板函数来“覆盖”它？

Question

问题：

使用继承，可以执行以下操作：

struct base { 
    virtual void go() { printf("%p", this); }
};
struct foo : base { 
    virtual void go() { printf("this foo lives at "); base::go(); } 
};

...调用foo：：go（）将打印“this foo Living at

”

不过，使用模板：

template <typename T>
void go(T const &t) { printf("%p\n", &t); }

template <>
void go(foo const &f) { 
    printf("this foo lives at "); 
    ??? how to access "base" template ??? 
}

template <typename T>
void _go_pre(T const &t) { /* do nothing */ }

template <typename T>
void _go_post(T const &t) { /* do nothing */ }

template <typename T>
void go(T const &t) { 
    _go_pre(t); /* just in case */
    printf("%p\n", &t); 
    _go_post(t); 
}

template<>
void _go_pre(foo const &t) { printf("this foo lives at "); }

所有这些都与您在子类无法访问父类提供的原始版本的情况下使用虚拟方法重写时遇到的问题如出一辙。

Answer 1

不可能直接。但是，您可以使用更少（也不那么难看）的助手，如下所示：

template <typename T>
void base_go(T const &t) { printf("%p\n", &t); }

template <typename T>
void go(T const &t) { base_go(t); }

template<>
void go(foo const &t) { printf("this foo lives at "); base_go(t); }

作为替代方案，您可以将base_变体放到单独的命名空间中，而不是给它们指定修改过的名称。