c++11返回未知数量元素数组的方法

Question

我想在 C++11 中实现这个功能（或类似的功能，请参阅下面的要求）：

template<typename... ARGS>
constexpr std::array<const typename std::common_type<ARGS...>::type, sizeof...(ARGS)> asConstArray(ARGS&&... args)
{
    return {std::forward<ARGS>(args)...};
}

struct DataBinding {
    static constexpr auto getRawBindings()
    // HERE          ^- C++14, deduced to std::array<const BindingInfo, 2> in this case
    {
        return asConstArray(
            DEF_BINDING(int, stateProp, stateParam), //BindingInfo constexpr object
            DEF_BINDING(float, areaProp, areaParam)  //BindingInfo constexpr object
            //(...)
        );
    }
};

如你所见，我想介绍一个基于宏的接口（这是必要的，它可以做很多其他与 Qt 相关的魔法）。

DEF_BINDING 返回用户定义结构的 constexpr 对象（BindingInfo - 它包含一些 const char* 和 size_t 成员，它可以替换为任何可以包含相同的结构或模板）。

我不想强迫程序员手动计算绑定，因为这很不方便。上面的解决方案是我能想到的最接近的解决方案，但我想在 C++11 中解决以下问题：

1. 需要返回一个元素数组（数组之类，使用std::array是 不是必须的）
2. 必须是编译时
3. 项目只能定义一次（不想枚举数组元素两次）
4. 必须是仅标头（静态 constexpr 成员定义在 cpp 文件不能工作，非 ODR 规定的使用可以工作）
5. 数组大小必须是自动推导出来的

该解决方案可以使用任何类型的 C++11 魔法。我希望我们能弄清楚一些事情:)

更新：在原来的帖子中，我忘了提到一个非常重要的事实：getRawBindings 在结构中。

Answer 1

尾随返回类型应该可以完成这项工作：

struct DataBinding {
    static constexpr auto getRawBindings()
    -> decltype(
        asConstArray(
            DEF_BINDING(int, stateProp, stateParam), //BindingInfo constexpr object
            DEF_BINDING(float, areaProp, areaParam)  //BindingInfo constexpr object
            //(...)
        )
    )
    {
        return asConstArray(
            DEF_BINDING(int, stateProp, stateParam), //BindingInfo constexpr object
            DEF_BINDING(float, areaProp, areaParam)  //BindingInfo constexpr object
            //(...)
        );
    }
};

为避免重复，MACRO 可能会有所帮助：

#define RETURN(Expr) decltype(Expr) { return Expr; }

然后

struct DataBinding {
    static constexpr auto getRawBindings()
    -> RETURN(
        asConstArray(
            DEF_BINDING(int, stateProp, stateParam), //BindingInfo constexpr object
            DEF_BINDING(float, areaProp, areaParam)  //BindingInfo constexpr object
            //(...)
        )
    )
};

Answer 2

如何使用尾随返回类型？

#include <array>

template<typename... ARGS>
constexpr std::array<const typename std::common_type<ARGS...>::type, sizeof...(ARGS)> 
asConstArray(ARGS&&... args)
{
    return {std::forward<ARGS>(args)...};
}

struct DataBinding {
    template<typename... BINDINGS>
    static constexpr auto getRawBindings(BINDINGS&&... bindings)
    -> decltype(asConstArray(std::declval<BINDINGS>()...))
    // ^^^ trailing return type
    {
        return asConstArray(std::forward<BINDINGS>(bindings)...);
    }
};

然后你可以像这样拨打getRawBindings()：

constexpr auto raw_bingdings = DataBinding::getRawBindings(
                                 DEF_BINDING(int, stateProp, stateParam),
                                 DEF_BINDING(float, areaProp, areaParam)
                                 // ...
                               );