从专用模板类函数调用非专用模板类函数

Question

是否可以从专用模板类调用非专用模板类中定义的函数？这是我正在尝试的一个例子：

template <typename T>
struct Convert
{
 static inline void toString(unsigned num, unsigned places, std::string& str) { ... }
};

template <>
struct Convert<int8_t>
{
 static inline void toString(unsigned num, std::string& str)
 {
   Convert<int8_t>::toString(num, digitis(num), str);
 }
};

GCC 抱怨它看不到非专门的类函数；即我猜它只在专业类中看起来。

有什么想法吗？

编辑

这是我的代码中的一个更具体的示例（带有可能的解决方案）：

struct NonSpecial { };

template <typename T>
class Convert
{

        template <typename R>
        static inline R fromString(const register char *str, const unsigned str_len)
        {   
            R result = 0;
            //convert str to R
            return result;
        }

        friend class Convert<int8_t>;
        friend class Convert<uint8_t>;
}

template <>
struct Convert<int8_t>     
{
    static inline int8_t fromString(const register char* str, const unsigned str_len = 4)
    {
        Convert<NonSpecial>::fromString<int8_t>(str, str_len);    
    }
};

template <>
struct Convert<uint8_t>     
{
    static inline uint8_t fromString(const register char* str, const unsigned str_len = 3)
    {
        Convert<NonSpecial>::fromString<uint8_t>(str, str_len);    
    }
};

我还有其他函数 - toString()、countDigits() 等。我选择了这种方法，这样我就可以保持不变每种类型的函数名称（即不需要 toStringU32()、toString32 等）。我考虑过模板专业化，但我不相信这是可能的。

Answer 1

一般来说，这是不可能的。

有不同的可能解决方案，但它们“作弊”。第一个是将实际的默认逻辑提升到一个非专门化的不同函数中。现在您可以从两个 toString 实现中调用此函数。

第二种选择需要从非专用类继承并传递一个特殊标签作为模板参数：

struct BaseClassTag { };

template <>
struct Convert<int8_t> : public Convert<BaseClassTag>
{
 typedef Convert<BaseClassTag> TBase;
 static inline void toString(unsigned num, std::string& str)
 {
   TBase::toString(num, digitis(num), str);
 }
};