内部typedef根据父类更改

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，并稍微简化了代码。没有什么会影响它的输出。

我通过向继承的 classB 模板添加类型名 T 来获得所需的结果，该模板在实例化时会用 T 替换 R，因此在本例中为“无符号”。

#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<1>::data 以编译器错误结束。我仍然很模糊为什么会发生这种情况。从技术上讲，它应该很好地实例化类模板。也许是 classB 模板内的属性被错误实例化。我会对此进行更多研究，但如果您找到答案，请发布。这很有趣！

编辑：原始代码在 Cygwin GCC 4.8.2 上运行良好。结果是1和1。也许这只是gcc4.9.2编译器的问题。