专门化模板成员函数

Question

我试图指定一个模板类的功能，该功能只能在使用特定类型（KEY作为std::string和VALUE作为std::string）创建类的对象时使用。

我的模板（Dictionary.h），简化为：

#ifndef QB_DICTIONARY_H 
#define QB_DICTIONARY_H 

#include <map> 
#include <string> 

namespace QB { 
    template<typename KEY, typename VALUE, typename COMPARE = std::less<KEY>> 
    class Dictionary { 
    public: 
     typedef typename std::map<KEY, VALUE, COMPARE>::iterator iterator; 
     typedef typename std::map<KEY, VALUE, COMPARE>::const_iterator const_iterator; 

     Dictionary() { 
     } 

     Dictionary(const std::map<KEY, VALUE, COMPARE> & value) { 
      this->value = value; 
     } 

     typename iterator begin() { 
      return value.begin(); 
     } 

     typename const_iterator begin() const { 
      return value.cbegin(); 
     } 

     typename iterator end() { 
      return value.end(); 
     } 

     typename const_iterator end() const { 
      return value.cend(); 
     } 

     // Trying to have the function work only when the template KEY and VALUE are of type std::string 
     const std::string implode<std::string, std::string>(const std::string & valueSeparator, const std::string & pairSeparator) const { 
      std::string result; 

      for (iterator i = begin(); i != end(); i++) { 
       if (i != begin()) { 
        result += pairSeparator; 
       } 

       result += iterator->first; 
       result += valueSeparator; 
       result += iterator->second; 
      } 

      return result; 
     } 

    private: 
     std::map<KEY, VALUE, COMPARE> value; 
    }; 
} 

#endif 

的破灭功能是一个我试图实现。试图编译在这上面的结果：

1>d:\cloud storage\onedrive\projects\qb\qb\dictionary.h(115): error C2143: syntax error: missing ';' before '<' 
1> d:\cloud storage\onedrive\projects\qb\qb\dictionary.h(133): note: see reference to class template instantiation 'QB::Dictionary<KEY,VALUE,COMPARE>' being compiled 
1>d:\cloud storage\onedrive\projects\qb\qb\dictionary.h(115): error C2334: unexpected token(s) preceding '{'; skipping apparent function body 

我不知道我应该如何实现这一点。任何提示？

---

编辑：

我遇到了一些新问题，同时尝试@ TartanLlama的答案。

我当前的代码如下（不相关的部分排除在外）： Dictionary.h：

#ifndef QB_DICTIONARY_H 
#define QB_DICTIONARY_H 

#include <map> 
#include <string> 
#include <type_traits> 

namespace QB { 
    template<typename KEY, typename VALUE, typename COMPARE = std::less<KEY>> 
    class Dictionary { 
    public: 
     // ... 

     const std::string implode(const std::string &, const std::string &) const; 

     // ... 
    }; 

    template<typename K=KEY, typename V=VALUE, typename COMPARE = std::less<KEY>> 
    std::enable_if_t<std::is_same<std::string, K>{} && std::is_same<std::string, V>{}, const std::string> Dictionary<K, V, COMPARE>::implode(const std::string & valueSeparator, const std::string & pairSeparator) const { 
     // ... 
    } 
} 

#endif 

Answer 1

您试图明确专用implode，但它不是模板。

你可以使用SFINAE只启用该功能，如果KEY和VALUE是std::string：

template <typename K=KEY, typename V=VALUE> 
std::enable_if_t<std::is_same<std::string, K>{} && 
       std::is_same<std::string, V>{}, 
       const std::string> 
implode(const std::string & valueSeparator, 
     const std::string & pairSeparator) const { 
    //... 
} 

---

你可以使用static_assert发出一个错误，如果函数被实例化的错误Dictionary专业化：

implode(const std::string & valueSeparator, 
     const std::string & pairSeparator) const { 
    static_assert(std::is_same<std::string, K>{} && 
        std::is_same<std::string, V>{}, 
        "KEY and VALUE must be std::string"); 
    //... 
} 

Answer 2

您可以通过显式实例的方法成员像这样的类定义之外的专业：

template<> std::string QB::Dictionary<std::string, std::string>::implode(const std::string & valueSeparator, const std::string & pairSeparator) const { 
    std::string result; 

    for (const_iterator i = begin(); i != end(); i++) { 
     if (i != begin()) { 
      result += pairSeparator; 
     } 

     result += i->first; 
     result += valueSeparator; 
     result += i->second; 
    } 

    return result; 
} 

Live Code

注意，我哈已修复其他错误（无需在返回方法类型中添加类型名称，使用const_iterator ...）