std::apply 和常量表达式？

Question

我在 Wandbox 中尝试了以下代码：

#include <array>
#include <iostream>
#include <tuple>
#include <typeinfo>
#include <functional>
#include <utility>


int main()
{
    constexpr std::array<const char, 10> str{"123456789"};
    constexpr auto foo = std::apply([](auto... args) constexpr { std::integer_sequence<char, args...>{}; } , str);
    std::cout << typeid(foo).name();
}

并且编译器告诉我 args... 不是常量表达式。怎么了？

Answer 1

无法标记函数参数constexpr。因此，您不能在需要常量表达式的地方使用它们，例如非类型模板参数。

要完成您尝试做的事情，需要基于模板参数进行某种编译时字符串处理。

Answer 2

所有 constexpr 函数都必须在 constexpr 和非 constexpr 时都有效，即使标记为 constexpr。

有人提议将字符作为非类型模板参数传递的 constexpr 文字。那么"hello"_bob可以直接展开成参数包

另一种方法是您可以通过某种机制将 std::integral_constant<T, t> 传递给 lambda，例如我的 indexer。然后转换为 T 是 constexpr 即使变量不是。这对您 "hello" 序列没有帮助。

Answer 3

没有std::apply你想做的事:

#include <array>
#include <iostream>
#include <tuple>
#include <typeinfo>
#include <functional>
#include <utility>
#include <type_traits>

template <std::size_t N, class = std::make_index_sequence<N>>
struct iterate;

template <std::size_t N, std::size_t... Is>
struct iterate<N, std::index_sequence<Is...>> {
    template <class Lambda>
    constexpr auto operator()(Lambda lambda) {
        return lambda(std::integral_constant<std::size_t, Is>{}...);
    }
};

int main()
{
    constexpr std::array<const char, 10> str{"123456789"};
    constexpr auto foo = iterate<str.size()>{}([](auto... is) constexpr { return std::integer_sequence<char, str[is]...>{}; });
    std::cout << typeid(foo).name();
}

[live demo]

std::apply 和常量表达式？

std::apply and constant expression?

c++

c++17

stdapply