使用 constexpr 函数作为模板参数

Question

我正在尝试将 constexpr 函数的结果用作模板参数，但无法弄清楚如何使其工作。我有以下代码：

#include <functional>
#include <string_view>

class slice
{
    public:
        template <std::size_t size>
        constexpr slice(char const (&data)[size]) noexcept :
            _size(size),
            _data(data)
        {}

        constexpr const char *data() const
        {
            return _data;
        }

        constexpr std::size_t size() const
        {
            return _size;
        }
    private:
        const size_t    _size;
        const char      *_data;
};

template <std::size_t size>
class key
{
    public:
        constexpr key(std::size_t hash, const char *data) :
            _hash(hash),
            _data(data, data + size)
        {}
    private:
        std::size_t             _hash;
        std::array<char, size>  _data;
};

class partition
{
    public:
        partition(std::string_view name) :
            _hash(std::hash<std::string_view>{}(name))
        {}

        auto operator()(const slice &data)
        {
            return key<data.size()>(_hash, data.data());
        }
    private:
        const std::size_t   _hash;
};

甚至不尝试使用这些类，它就拒绝编译。我收到以下错误：

错误：非类型模板参数不是常量表达式

       return key<data.size()>(_hash, data.data());

我试图不将 operator() 的参数作为参考，但这只会增加更多警告消息。我不能将 _data 成员设为 constexpr，因为显然这是不允许的。

我会使用如下代码：

partition partition1{ "partition 1" };
partition partition2{ "partition 2" };

auto key1 = partition1("key 1");
auto key2 = partition2("key 1");

这意味着存储系统能够轻松创建不同的分区（或存储桶）。

Answer 1

您的代码无法编译，因为：

constexpr auto operator()(const slice &data)
{
    return key<data.size()>(_hash, data.data());
}

...data 不保证是constexpr。您可以使用模板参数：

template <const slice& data>
constexpr auto operator()()
{
    return key<data.size()>(_hash, data.data());
}

...但是，如果由于非constexpr 构造函数而无法实例化constexpr partition，那么创建constexpr 的意义何在？