1

我从几个片段中收集了以下内容，使用测试聚合初始化能力的技术，并将结构转换为元组以计算大小，但是当有一个数组时，结构可以被大括号省略并使结构化绑定不正确。在 C++17 中是否有任何解决方法/其他技巧？

struct data_t {
    int a;
    char b[2];
    bool c;
};

// data_t could be init as {x, y1, y2, z}...

template <class T, class... Args>
decltype(void(T{std::declval<Args>()...}), std::true_type{}) test_is_braces_constructible(int);

template <class, class...>
std::false_type test_is_braces_constructible(...);

template <class T, class... TArgs>
using is_braces_constructible = decltype(test_is_braces_constructible<T, TArgs...>(0));

struct any_type {
    template <class T>
    constexpr operator T(); // non explicit
};

template <class T>
auto to_tuple(T &&object) noexcept
{
    if constexpr (is_braces_constructible<T, any_type, any_type, any_type, any_type>{}) {
        // the object coming here...  the binding is incorrect
        auto &&[p1, p2, p3, p4] = object;
        return std::make_tuple(p1, p2, p3, p4);
    } else if constexpr (is_braces_constructible<T, any_type, any_type, any_type>{}) {
        auto &&[p1, p2, p3] = object;
        return std::make_tuple(p1, p2, p3);
    } else if constexpr (is_braces_constructible<T, any_type, any_type>{}) {
        auto &&[p1, p2] = object;
        return std::make_tuple(p1, p2);
    } else if constexpr (is_braces_constructible<T, any_type>{}) {
        auto &&[p1] = object;
        return std::make_tuple(p1);
    } else {
         return std::make_tuple();
    }
}
4

1 回答 1

0

据我的一个朋友说，一对小牙套可以帮助解决这个问题。

template <class T, class... Args>
decltype(void(T{ {std::declval<Args>()}... }), std::true_type{}) test_is_braces_constructible(int);
                 ^^^                  ^^^
于 2019-12-06T12:39:14.487 回答