为什么 decltype（*this）：：value_type 编译不？[复制]

问：

为什么不编译？它显示一条错误消息：decltype(*this)

error: 'value_type' is not a member of 'const Foo<char>&'

那么，在下面的程序中无法编译的原因究竟是什么：decltype( *this )::value_type

#include <iostream>
#include <vector>
#include <type_traits>


template <typename charT>
struct Foo
{
    using value_type = charT;

    std::vector<value_type> vec;

    void print( ) const;
};

template <typename charT>
void Foo<charT>::print( ) const
{
    using Foo_t = std::remove_reference_t<decltype( *this )>;

                                   // `decltype( *this )::value_type` does not compile
    if constexpr ( std::is_same_v< typename Foo_t::value_type,
                                   decltype( std::cout )::char_type > )
    {
        // logic
    }
    else if constexpr ( std::is_same_v< typename Foo_t::value_type,
                                        decltype( std::wcout )::char_type > )
    {
        // logic
    }
    else
    {
        static_assert( std::is_same_v< typename Foo_t::value_type,
                                       decltype( std::cout )::char_type > ||
                       std::is_same_v< typename Foo_t::value_type,
                                       decltype( std::wcout )::char_type >,
                       "character type not supported" );
    }
}

int main( )
{
#define IS_CHAR 1

#if IS_CHAR == 1
    using FooChar = Foo<char>;
    FooChar foo;
    foo.vec.resize( 10, '$' );
#else
    using FooWideChar = Foo<wchar_t>;
    FooWideChar foo;
    foo.vec.resize( 10, L'#' );
#endif

    foo.print( );
}

指针有什么特别之处？为什么删除引用会使其编译？在上面的片段中一切正常。但是，如果我用更具可读性的替换，它将无法编译。因此，我尝试了一下运气，并设法提出了上述不太简单（且不太直观）的解决方案：thisstd::remove_reference_ttypename Foo_t::value_typedecltype( *this )::value_typestd::remove_reference_t

using Foo_t = std::remove_reference_t<decltype( *this )>;

// and then inside the std::is_same_v
std::is_same_v< typename Foo_t::value_type, /* etc */ >
// ...

我知道有更简洁的替代方案，例如 甚至，但我发现这种方法更不言自明。还有其他解决方案吗？std::is_same_v< Foo<charT>::value_type,std::is_same_v< charT,decltype