要检查map是否支持不完整类型，您需要确定这样的map本身是否是完整类型。完整类型和不完整类型之间的唯一区别是不可能获得不完整类型的大小，即不可能获得不完整类型的sizeof()。因此，我们可以基于此构造不完整类型的检测器。类似于以下内容：

#include <type_traits>
#include <map>
#include <unordered_map>
#include <iostream>

namespace detail {
    template<int N>
    struct test {using type = void;};
}

template<typename T, typename = void>
struct is_complete : std::false_type {};

template<typename T>
struct is_complete<T, typename detail::test<sizeof(T)>::type> : std::true_type {};

struct incomplete_type;
struct complete_type {};

template<template<typename, typename, typename...> typename MapType>
using allows_incomplete = is_complete<MapType<int, incomplete_type>>;

int main()
{
    std::cout << std::boolalpha << is_complete<incomplete_type>::value << std::endl;
    std::cout << std::boolalpha << is_complete<complete_type>::value << std::endl;
    std::cout << std::boolalpha << is_complete<std::map<int, incomplete_type>>::value << std::endl;
    std::cout << std::boolalpha << is_complete<std::unordered_map<int, incomplete_type>>::value << std::endl;
    std::cout << std::boolalpha << allows_incomplete<std::map>::value << std::endl;
    std::cout << std::boolalpha << allows_incomplete<std::unordered_map>::value << std::endl;
}

顺便说一句，GCC 11.3似乎有bug，因为即使是std::is_constructible<std::unordered_map<int, incomplete_type>>::value也会给出同样的错误，这绝对是不正确的。