相关疑难解决方法(0)

例如:

int a = 12;
cout << typeof(a) << endl;

预期产量:

int

我观看了Walter Brown在Cppcon14上关于现代模板编程(第一部分,第二部分)的演讲,他在演讲中展示了他的void_tSFINAE技术.

示例:
给定一个简单的变量模板,该模板计算void所有模板参数是否格式正确:

template< class ... > using void_t = void;

以及检查是否存在名为member的成员变量的以下特征:

template< class , class = void >
struct has_member : std::false_type
{ };

// specialized as has_member< T , void > or discarded (sfinae)
template< class T >
struct has_member< T , void_t< decltype( T::member ) > > : std::true_type
{ };

我试图理解为什么以及如何运作.因此一个小例子:

class A {
public:
    int member;
};

class B {
};

static_assert( has_member< A …

我有一个采用多维的函数，std::vector并需要将深度（或维数）作为模板参数传入。我不想对这个值进行硬编码，我想编写一个constexpr函数，它将std::vector深度作为unsigned integer值返回。

例如：

std::vector<std::vector<std::vector<int>>> v =
{
    { { 0, 1}, { 2, 3 } },
    { { 4, 5}, { 6, 7 } },
};

// Returns 3
size_t depth = GetDepth(v);

这需要在编译时完成，因为这个深度将作为模板参数传递给模板函数：

// Same as calling foo<3>(v);
foo<GetDepth(v)>(v);

有没有办法做到这一点？