c++ - 编译时 Bimap static_assert 失败

Question

我正在尝试通过使用 constexpr 和 std::array 获得一个简单的编译时 Bimap。

这似乎适用于第一个示例。 但是对于第二个示例，我有以下静态错误:

error: static_assert failed "3 == 3.3"
static_assert(meta_dict.find_key_of_value(3) == 3.3, "3 == 3.3"); // fails

这里是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