2

如何在 C++11 中编写自定义元编程测试？我想写这样的东西：

#include <type_traits>
#include <iostream>

struct A {};

template <typename T>
struct foo {
    typedef typename std::conditional<std::is_pointer<T>::value,
                                      typename std::remove_pointer<T>::type,
                                      T>::type type;
};

template <typename A, typename B>
struct test1{typedef typename std::is_same<A, B>::value result;};

template <typename A, typename B>
struct test2{typedef typename std::is_same<A, typename foo<B>::type>::value result;};

template <typename A, typename B>
void testAll() {
    std::cout << std::boolalpha;
    std::cout << "test1: " << typename test1<A,B>::result << std::endl; // ERROR: expected ‘(’ before ‘&lt;<’ token
    std::cout << "test2: " << typename test2<A,B>::result << std::endl; // ERROR: expected ‘(’ before ‘&lt;<’ token
    // ...
}

int main()
{  
    typedef A type1;
    testAll<A, type1>();
    typedef const A* type2;
    testAll<A, type2>();
    // ...
}

我从这里看到了一个可能的 is_same 实现。我需要这样的东西吗？

可以这样写：

std::cout << "test1: " << std::is_same<A, B>::value << std::endl;

我想写这个：

 std::cout << "test1: " << test1<A, B>::result << std::endl;
4

1 回答 1

2

您正在使用typenamebefore test1<A,B>::result，但这是不合适的，因为您想result成为一个值，而不是一个类型。出于同样的原因，您不应该将其定义为内部的类型别名test1<>：您只是希望它具有相同的返回值std::is_same<>::value（即static const bool成员变量，而不是类型名称）。

你可以这样写：

template <typename A, typename B>
struct test1
{ 
    static const bool result = std::is_same<A, B>::value;
};

这样以下行将编译：

std::cout << "test1: " << test1<A,B>::result << std::endl;

但是，您的test1<>trait 只不过是std::is_same<>（用result而不是value）的别名，并且 C++11 支持别名模板：

template <typename A, typename B>
using test1 = std::is_same<A, B>;

这将允许您执行以下操作：

std::cout << "test1: " << test1<A,B>::value << std::endl;

该test2<>特征遇到类似的问题，因为它定义result为类型别名，但std::is_same<A, typename foo<B>::type>::value它是一个值，而不是一个类型。

因此，您可以再次将其重写如下：

template <typename A, typename B>
struct test2
{
    static const bool result = std::is_same<A, typename foo<B>::type>::value;
};

这样以下行将编译：

std::cout << "test2: " << test2<A, B>::result << std::endl;

但同样，您也可以定义一个别名模板：

template <typename A, typename B>
using test2 = std::is_same<A, typename foo<B>::type>;
于 2013-03-13T19:14:36.793 回答