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

您可以通过在类定义之外显式实例化您的方法成员来专门化：

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

请注意，我已修复其他错误（无需在返回方法类型中添加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 {
    //...
}

如果函数被实例化为错误的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");
    //...
}

专业模板成员功能

2 个答案: