可变参数模板构造中的隐式std :: pair构造

Question

我有一个constexpr键值映射，大致有这个定义：

// map with `pos` remaining entries
template<typename K, typename V, size_t pos>
class Map {
public:
    template<class Head, class... Tail>
    constexpr Map(Head head, Tail... tail)
        :
        value{head},
        tail{tail...} {}

    Element<K, V> value;
    const Map<K, V, pos - 1> tail;

    // members etc
};

// map end element.
template<typename K, typename V>
class Map<K, V, 0> {
public:
    constexpr Map() {}

    // end element specifics.
};

要在编译时初始化键值映射，我有一个实用程序函数转发元素：

template<typename K, typename V, typename... Entries>
constexpr Map<K, V, sizeof...(Entries)> create_const_map(Entries&&... entry) {
    return Map<K, V, sizeof...(entry)>(Entry<K, V>{std::forward<Entries>(entry)}...);
}

Element定义为：

template<class K, class V>
class Entry {
public:
    constexpr Entry(const K &key, const V &value)
        :
        key{key},
        value{value} {}

    constexpr Entry(std::pair<K, V> pair)
        :
        key{pair.first},
        value{pair.second} {}

    const K key;
    const V value;
};

要实际创建一个地图，我可以成功使用std::make_pair ：

constexpr auto cmap = create_const_map<int, int>(
    std::make_pair(0, 0),
    std::make_pair(13, 37),
    std::make_pair(42, 9001)
);

我现在想要的是消除对std::make_pair的调用并改为使用大括号：

constexpr auto cmap = create_const_map<int, int>(
    {0, 0},
    {13, 37},
    {42, 9001}
);

但这会导致编译失败，因为{}不会被推断为对的构造：

/home/jj/devel/openage/libopenage/datastructure/tests.cpp:191:24: error: no matching function for call to 'create_const_map'
        constexpr auto cmap = create_const_map<int, int>(
                              ^~~~~~~~~~~~~~~~~~~~~~~~~~
/home/jj/devel/openage/libopenage/datastructure/constexpr_map.h:286:46: note: candidate function not viable: requires 0 arguments, but 3 were provided
constexpr Map<K, V, sizeof...(Entries)> create_const_map(Entries&&... entry) {
                                        ^

我能做些什么才能使用{a, b}代替std::make_pair(a, b) ？

Answer 1

这是不容易实现的，因为正如@Rostislav所说，如果参数是一个大括号初始化列表，编译器就无法推断出它的类型。

我通过手动创建足够多的重载函数来解决它。 在下文中，重载是函数调用操作符（ operator() ）， create_map是该函数对象的变量模板。 您将重载次数传递给Overload 。 我的C ++很粗糙，所以也许这并不理想，但似乎有用。

template<typename D, int N, typename ...E>
struct OverloadImpl;

template<typename D, int N, typename E, typename ...Es>
struct OverloadImpl<D, N, E, Es...> : OverloadImpl<D, N-1, E, E, Es...> {
    decltype(auto) operator()(const E& e, const Es&... es) {
       return static_cast<D&>(*this).exec(e, es...);
    }
    using OverloadImpl<D, N-1, E, E, Es...>::operator();
};

template<typename D, typename E, typename ...Es>
struct OverloadImpl<D, 0, E, Es...> { 
    decltype(auto) operator()() { 
       return static_cast<D&>(*this).exec();   
    }    
};

template<typename D, typename E, int N>
struct Overload : OverloadImpl<D, N, E>
{ };

要将上述内容应用于您的案例，您可以从Overload派生并提供exec函数。

template<typename K, typename V, int C>
struct M {
   template<typename ...T>
   M(T&&...) { }
};

template<typename K, typename V>
struct Entry {
   Entry(K, V) { }    
};

template<typename K, typename V>
struct CreateMapImpl : Overload<CreateMapImpl<K, V>, Entry<K, V>, 10> {
    template<typename ...T>
    M<K, V, sizeof...(T)> exec(const T&... t) {
       return { t... };   
    }
};

template<typename K, typename V>
CreateMapImpl<K, V> create_map{};

int main() {
   create_map<int, std::string>({1, "one"}, {2, "two"}, {3, "three"});   
}

Answer 2

在我看来，你不可能做你需要的。 编译器必须推导出Entries参数包的类型。 但是，要传入的支撑初始值设定项没有类型。 从cppreference ，Notes部分：

braced-init-list不是表达式，因此没有类型，例如decltype({1,2})不正确。 没有类型意味着模板类型推导不能推导出与braced-init-list匹配的类型，所以给定声明template<class T> void f(T); 表达式f({1,2,3})是不正确的。

这就是为什么gcc（根据cpp.sh ）说Entries = {} ：

63：1：错误：函数'constexpr Map create_const_map（Entries && ...）的参数太多[与K = int; V = int; 条目= {}]'

我想如果你想要一个更简洁的方法来初始化你的Map，你需要为std::make_pair做一个简写符号。