特化模板成员函数

Question

我正在尝试指定一个模板 class 的函数，它应该只在 class 的对象是使用特定类型（KEY as 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

您可以通过在 class 定义之外像这样显式实例化您的方法成员来进行专门化：

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

注意我已经修复了其他错误（不需要在return方法类型中添加typename，使用const_iterator...）

Answer 2

您正在尝试显式特化 implode，但它不是模板。

如果 KEY 和 VALUE 是 std::string:

，您可以使用 SFINAE 仅启用该功能

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 {
    //...
}

如果为错误的 Dictionary 专业化实例化函数，您可以使用 static_assert 发出错误：

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");
    //...
}

特化模板成员函数

Specializing template member function

c++

templates

template-specialization