类模板部分特化的问题

Question

我一直在尝试实现一个需要部分模板专业化的函数并退回到静态结构技术，但我遇到了很多问题。

            template<typename T> struct PushImpl<const T&> {
                typedef T* result_type;
                typedef const T& argument_type;
                template<int StackSize> static result_type Push(IStack<StackSize>* sptr, argument_type ref) {
                // Code if the template is T&
                }
            };
            template<typename T> struct PushImpl<const T*> {
                typedef T* result_type;
                typedef const T* argument_type;
                template<int StackSize> static result_type Push(IStack<StackSize>* sptr, argument_type ptr) {
                    return PushImpl<const T&>::Push(sptr, *ptr);
                }
            };
            template<typename T> struct PushImpl {
                typedef T* result_type;
                typedef const T& argument_type;
                template<int StackSize> static result_type Push(IStack<StackSize>* sptr, argument_type ref) {
                // Code if the template is neither T* nor T&
                }
            };

            template<typename T> typename PushImpl<T>::result_type Push(typename PushImpl<T>::argument_type ref) {
                return PushImpl<T>::Push(this, ref);
            }

第一：该结构嵌套在另一个类（提供 Push 作为成员函数的类）中，但它无法访问模板参数（StackSize），即使我的其他嵌套类都可以。我已经解决了这个问题，但如果他们可以像普通类一样访问 StackSize ，那就更干净了。

第二：编译器抱怨它不使用或无法推导 T。真的吗？

第三：编译器抱怨它无法在当前范围（类范围）中专门化模板。

我看不出问题出在哪里。我是否不小心调用了一些错误的语法？

Answer 1

一般情况必须出现在专门化之前，否则专门化就没有什么可专门化的。