Question

我正在尝试使用constexpr和std::array进行简单的编译时间Bimap。

这似乎与第一个例子一样好用。但是在第二个例子中，我有以下静态错误：

错误：static_assert失败“3 == 3.3”
static_assert（meta_dict.find_key_of_value（3）== 3.3，“3 == 3.3”）; //失败

此处Wandbox上提供的代码。应该使用Clang>=5.0.0和GCC>=8.0.0编译（上述错误除外）。

#include <utility>
#include <array>
#include <stdexcept>
#include <string_view>
#include <iostream>

template<class Key, class Value, std::size_t N>
struct MetaBimap {
    using Item = std::pair<Key, Value>;

    constexpr MetaBimap(const std::array<Item, N>& d)
        : dictionnary{d}
        {}

    constexpr Value find_value_of_key(const Key& key, int range = N) const
    {
        if (range == 0)
            throw std::out_of_range("Cannot find key");
        return (dictionnary[range - 1].first == key) 
            ? dictionnary[range - 1].second
            : find_value_of_key(key, range - 1);
    }

    constexpr Key find_key_of_value(const Value& value, int range = N) const
    {
        if (range == 0)
            throw std::out_of_range("Cannot find value");
        return (dictionnary[range - 1].second == value) 
            ? dictionnary[range - 1].first
            : find_key_of_value(value, range - 1);
    }

    std::array<Item, N> dictionnary;
};


int main() 
{   
    // first example
    {
        using namespace std::string_view_literals;
        constexpr std::array<std::pair<std::string_view, int>, 3> meta_array {{
            { "one"sv, 1 },
            { "two"sv, 2 },
            { "three"sv, 3 }
        }};
        constexpr MetaBimap<std::string_view, int, 3> meta_dict = meta_array;

        // OK on wandbox with Clang>=5.0.0 and GCC>=8.0.0 (though not working on my computer with Clang=5.0.0)
        static_assert(meta_dict.find_value_of_key("one"sv) == 1, "one == 1");       
        static_assert(meta_dict.find_key_of_value(3) == "three"sv, "3 == three"); 
    }

    // second example
    {
        constexpr std::array<std::pair<float, int>, 3> meta_array {{
            { 1.1, 1 },
            { 2.2, 2 },
            { 3.3, 3 }
        }};
        constexpr MetaBimap<float, int, 3> meta_dict = meta_array;

        static_assert(meta_dict.find_value_of_key(1.1) == 1, "1.1 == 1");       // OK
        std::cout << meta_dict.find_key_of_value(3) << std::endl;
        // static_assert(meta_dict.find_key_of_value(3) == 3.3, "3 == 3.3");    // fails
    }
}

为什么这里会出现静态故障以及如何解决？也作为奖励，任何简化bimap构建的方法？

Answer 1

问题可以归结为：

constexpr float a = 3.3;
static_assert (a == 3.3f, "float 3.3 is different from literal compiled 3.3f"); // ok
static_assert (a == 3.3, "float 3.3 is different from literal compiled 3.3"); //this fails

用代码编写的文字3.3被编译器视为double，当将float与double进行比较时，如果它们具有不同的精度，它可能会发生（几乎总是）它们不匹配

使用3.3f您告诉编译器，代码中写入的文字应被视为float，而未指定任何后缀将默认为double

看看here

编译时间Bimap static_assert失败

1 个答案: