decltype：使用指针访问类的静态成员

Question

我有一个模板函数f。我将它传递给一个引用或一个指向对象的指针。该对象的结构为S。我想知道S::my_tuple 的大小，它是该结构的静态成员。

当我使用std::tuple_size<decltype(T::my_tuple)>::value 通过引用传递对象时，我可以做到这一点。

如何为指针执行此操作？这目前失败了，因为my_tuple 不是S* 的成员

Play with the code.

#include <tuple>
#include <type_traits>
#include <iostream>

struct S {
  constexpr static auto my_tuple = std::make_tuple(1, 2, 3, 4);
};


template <typename T>
int f(const T object) {

  // fails if T is a pointer
  if (std::is_pointer<T>::value) {
    // error
    return std::tuple_size<decltype(T::my_tuple)>::value;
   }

    // works if T is a reference
    return std::tuple_size<decltype(T::my_tuple)>::value;
}

int main() {
    S my_struct;
    std::cout << f(my_struct); // 4, correct size of properties 
    S* my_ptr = new S;
    std::cout << f(my_ptr); // does not compile
}

编辑：

感谢您的支持。这是solution

Answer 1

只需使用 type trait 删除指针：

decltype(std::remove_pointer_t<std::decay_t<T>>::my_tuple)

在const T object 中，T 绝不是引用。例如，如果您使用通用引用 (T&& object)，则需要 std::decay_t<T>。

还请注意，当您使用if 时，您的代码的所有分支都应该编译。如果要丢弃基于std::is_pointer_v<T> 的分支，请查看constexpr if：

if constexpr (std::is_pointer_v<T>) {
    // ...
} else {
    // this code can be invalid if T is a pointer
}

有点像

if (std::is_pointer_v<T>)
    return std::tuple_size_v<decltype(std::remove_pointer_t<T>::my_tuple)>;
else
    return std::tuple_size_v<decltype(T::my_tuple)>;

一般不会起作用。

在您的特定示例中，您始终可以删除指针，因为如果T 不是指针类型，则std::remove_pointer_t<T> 本身就是T：

template <typename T>
std::size_t f(T&&) {
    using Tuple = decltype(std::remove_pointer_t<std::decay_t<T>>::my_tuple);
    return std::tuple_size_v<Tuple>;
}

Answer 2

您可以只使用类型特征来获取指针指向的类型，如下所示：

template <typename T>
int f(const T object) {
    return std::tuple_size_v<decltype(std::remove_pointer_t<T>::my_tuple)>;
}

这将在同一个表达式中处理引用或指针的情况。

这是demo。