Question

我放弃了，请帮助解释一下这种行为。我在下面给出的例子是我能想到的最简单的例子，但它总结了这个问题（在Cygwin上使用g ++ 4.9.2并启用了c ++ 14）。我想创建一个类似std::mem_fn的类。这是我的班级：

template <class R, class T, R(T::*P)() const >
struct property {

    static R get(const T& t) {
        return (t.*P)();
    }
};

其中R是返回类型，T是我感兴趣的对象的类型。第三个模板参数是指向成员函数的指针。到目前为止，非常好。

然后我创建一个包含整数的简单类，如下所示

class data_class {

public:

    unsigned get_data() const {
        return m_data;
    }

private:
    unsigned m_data;
};

这是将在之前显示的property类中使用的类。

现在我创建了两个继承自data_class的类，如下所示

struct my_classA
: public data_class {

    using data = property<unsigned, data_class, &data_class::get_data>;
};

//same as my_classA, only templated
template <int I>
struct my_classB
: public data_class {

    using data = property<unsigned, data_class, &data_class::get_data>;
};

它们具有完全相同的内部typedef，但my_classB是模板化的。现在理论上应该是以下类型：

using target_t = property<unsigned, data_class, &data_class::get_data>;
using test1_t = typename my_classA::data;
using test2_t = typename my_classB<1>::data;

但是我的编译器说只有test1_t和target_t是相同的。 test2_t推导出的类型显然是

property<unsigned int, data_class, (& data_class::get_data)> >

这种类型在指向成员函数的指针周围有这些括号。为什么test2_t与target_t不一样？以下是完整代码，以便您在系统上进行尝试。非常感谢任何帮助。

#include <type_traits>

class data_class {

public:

    unsigned get_data() const {
        return m_data;
    }

private:
    unsigned m_data;
};

//takes return type, class type, and a pointer to member function
//the get function takes an object as argument and uses the above pointer to call the member function
template <class R, class T, R(T::*P)() const >
struct property {

    static R get(const T& t) {
        return (t.*P)();
    }
};

struct my_classA
: public data_class {

    using data = property<unsigned, data_class, &data_class::get_data>;
};

//same as my_classA, only templated
template <int I>
struct my_classB
: public data_class {

    using data = property<unsigned, data_class, &data_class::get_data>;
};

//used to produce informative errors
template <class T>
struct what_is;

//all 3 types below should, in theory, be the same
//but g++ says that test2_t is different
using target_t = property<unsigned, data_class, &data_class::get_data>;
using test1_t = typename my_classA::data;
using test2_t = typename my_classB<1>::data;

static_assert(std::is_same<target_t, test1_t>::value, ""); //this passes
static_assert(std::is_same<target_t, test2_t>::value, ""); //this does not

int main() {

    what_is<test1_t> t1;
    what_is<test2_t> t2;
}

Answer 1

我用c ++ 11运行你的代码，因为我还不熟悉c ++ 14。但我所取代的只是使用typedef的using（别名）并简化了代码。什么都不影响它的输出。

我通过在继承的classB模板中添加一个typename T得到了预期的结果，在实例化时，它将用T替换R，所以在这种情况下＆＃34; unsigned＆＃34;。

#include <iostream>
#include <type_traits>

template <typename R, typename T, R(T::*P)() const>
struct property
{
    static R get(const T& t)
    {
        return (t.*P)();
    }
};


struct data_class
{
    private:
        unsigned m_data;

    public:
        unsigned get_data() const
        {
            return m_data;
        }
};

struct my_classA : public data_class
{
    typedef property<unsigned, data_class, &data_class::get_data> data;
};

template <typename T, int>
struct my_classB : public data_class
{
    typedef property<T, data_class, &data_class::get_data> data;
};


int main()
{

    typedef typename my_classA::data normClassA;
    typedef typename my_classB<unsigned,1>::data tmplClassB;

    std::cout<< std::is_same< property<unsigned, data_class, &data_class::get_data> , normClassA >::value <<std::endl;
    std::cout<< std::is_same< property<unsigned, data_class, &data_class::get_data> , tmplClassB >::value <<std::endl;

}

结果如下：

~$g++ -std=c++11 test.cpp
~$./a.out 
1
1

我认为问题与类模板实例化标准有关，因为当我最初尝试打印两个类的sizeof时，my_classA :: data返回1，但my_classB＆lt; 1＆gt; ::数据已结束在一个compiller错误。关于为什么会这样，我仍然很模糊。从技术上讲，它应该已经实例化了类模板。也许它是错误地实例化的classB模板中的属性。我会更多地了解这一点，但如果您找到了答案，请发布。这是一个有趣的！

编辑：原始代码在Cygwin GCC 4.8.2上运行正常。结果是1和1.也许它只是一个gcc4.9.2编译器问题。

内部typedef根据父类更改

1 个答案: