使用Sfinae检查基于模板中的成员是否存在

Question

示例在这里关于是否存在给定类型的成员。我想编写一个基于模板为类工作的元功能。如果在具有所需成员的功能调用中提供了基于模板的类，则应成功。

课程：

template <typename KeyType>
struct RawBytesEntry
{
    bool used = false;
    size_t psl = 0;
    KeyType key;
    ...
}

我尝试了许多不同的建议和语法排列，但我无法正常工作。有人有任何建议吗？我认为这是我得到的“最接近”：

template <template <typename> typename EntryType, typename = void>
struct has_psl : std::false_type
{
};

template <template <typename KeyType> typename EntryType>
struct has_psl<EntryType<KeyType>, std::void_t<decltype(EntryType<KeyType>::psl)>> : std::true_type
{
};

template <template <typename KeyType> typename EntryType, std::enable_if<has_psl<EntryType>::value>>
bool f(EntryType<KeyType> *buffer, size_t offset, EntryType<KeyType> *new_entry)

Answer 1

模板参数 模板模板参数无法在身体中使用。

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

template <template <typename> typename EntryType, typename KeyType>
struct has_psl<EntryType<KeyType>, std::void_t<decltype(EntryType<KeyType>::psl)>> : std::true_type
{};

template <template <typename> typename EntryType, typename KeyType, std::enable_if<has_psl<EntryType<KeyType>>::value>>
bool f(EntryType<KeyType> *buffer, size_t offset, EntryType<KeyType> *new_entry) {
    return true;
}

然后，

static_assert(has_psl<int>::value == false);
static_assert(has_psl<RawBytesEntry<int>>::value == true);

在线演示