使用带有rvalue的条件运算符时，采用const pmr :: vector <>＆不传播分配器

#include <iostream>
#include <vector>
#include <memory_resource>

class SpecialMemoryResource : public std::pmr::memory_resource
{
public:
    void* do_allocate(std::size_t bytes, std::size_t alignment) override  { return nullptr; }
    void do_deallocate(void* p, std::size_t bytes, std::size_t alignment) override {}

    bool do_is_equal(const std::pmr::memory_resource& other) const noexcept override {
        return &other == this;
    }
};

static auto k_SpecialMemoryResource = SpecialMemoryResource{};

bool isUsingSpecialMemoryResource(const std::pmr::vector<int>& vec) {
    const bool usingSpecial{vec.get_allocator().resource() == &k_SpecialMemoryResource};
    std::cout << std::boolalpha << usingSpecial << std::endl;
    return usingSpecial;
}

void Func(const std::pmr::vector<int>& vec) {
    const bool LHS = true, RHS = false;
    const std::pmr::vector<int>& localLValRef{std::pmr::vector<int>{&k_SpecialMemoryResource}};

    isUsingSpecialMemoryResource(LHS? vec : localLValRef);
    isUsingSpecialMemoryResource(RHS? vec : localLValRef);
    isUsingSpecialMemoryResource(LHS? vec : std::pmr::vector<int>{&k_SpecialMemoryResource});
    isUsingSpecialMemoryResource(RHS? vec : std::pmr::vector<int>{&k_SpecialMemoryResource});
}

int main() {
    const auto specialVec = std::pmr::vector<int>{&k_SpecialMemoryResource};
    Func(specialVec);
}

运行上面的代码将导致：

true
true
false
true

为什么在第三种情况下不传播polymorphic_allocator的memory_resource？我在这里的期望是，我只是绑定引用，而不构造/转换任何对象std::pmr::vector，因此我认为任何原因都不会改变。但是，我是否在条件运算符的类型推导中缺少某些内容，这些内容触发了不传播分配器的std::pmr::vector 副本构造？

6. 复制构造函数。用other的内容的副本构造容器，就像通过调用获得分配器一样std::allocator_traits<allocator_type>::select_on_container_copy_construction(other.get_allocator()).

或者是其他东西？我不确定发生了什么，并且发现条件运算符的类型推导文档难以解析。

我正在使用clang10进行编译-std=c++20：

clang version 10.0.0-4ubuntu1 
Target: x86_64-pc-linux-gnu
Thread model: posix