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

Function parameters cannot be labeled constexpr. As such, you cannot use them in places that require constant expressions, like non-type template arguments.

To do the kind of thing you're trying to do would require some kind of compile-time string processing, based around template arguments.

Answer 2

您可以在没有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]

Answer 3

即使标记为constexpr，所有constexpr函数都必须对constexpr有效，否则无效。

有一个constexpr文字的提议，它将字符作为非类型模板参数传递。然后"hello"_bob可以直接扩展到参数包。

另一种方法是你可以通过某种机制将std::integral_constant<T, t>传递给lambda，比如indexer。然后转换为T是constexpr，即使变量不是。这对"hello"序列无效。

std :: apply和constant表达式？

3 个答案: