过载模板功能

Question

在模板类的成员函数中，我需要一个适用于int，float和string的比较。我的解决方法是让成员函数（DFA :: entry）使用自制的comp函数：（模板 int comp（T s_one，U s_two））。

现在的问题是，编译后，程序将启动。尝试在位置0x00000004写入时，出现访问冲突引发的异常。

我只放入我认为与该问题相关的代码部分，因为没有comp函数，程序就可以正常工作（但仅用于int）。

让模板成员函数使用非成员模板函数是正确的方法吗？

#define EPSILON 0.9

//Forward and non-member-Function Declarations
template< class dto_s, class dto_ea, int nQ, int nSigma, int nF > class DFA;

template <class T, class U>
int comp(T s_one, U s_two) {
    int ret_val = 0;
    if (s_two > s_two)
    {
        ret_val = ((s_two - s_one) < EPSILON);
    }
    if (s_one > s_two)
    {
        ret_val = ((s_one - s_two) < EPSILON);
    }
    return ret_val;
}

inline int comp(std::string s_one, std::string s_two) {
    //return abs(s_one.compare(s_two));
    return (s_one == s_two);
}



//Class Definition
template< class dto_s, class dto_ea, int nQ, int nSigma, int nF > class DFA
{
public:
    int entry(dto_ea[]);

    //Returns index of entry in Sigma
    int entry_to_number(dto_ea);
    //Returns index of state in Q
    int state_to_number(dto_s);

private:
    std::array<dto_s, nQ> Q;
    std::array<dto_ea, nSigma> Sigma;
    std::array<dto_s, nQ * nSigma> Delta;
    std::array<dto_s, nF> F;

    dto_s* current_state;
};


//              ENTRY FUNCTION
template<class dto_s, class dto_ea, int nQ, int nSigma, int nF>
inline int DFA<dto_s, dto_ea, nQ, nSigma, nF>::entry(dto_ea wort[])
{

    dto_s* temp_state = current_state;

    //these 2 functions work correctly and return a int
    row = state_to_number(*temp_state);
    column = entry_to_number(wort[i]);


    for (auto i = Q.begin(); i != Q.end(); i++)
    {
        if (comp<dto_s, dto_s>(Delta[row * nSigma, column], (*i))) {
            //do something
        }
    }
    for (auto i = F.begin(); i != F.end(); i++)
    {
        if (comp<dto_s, dto_s>((*temp_state), (*i))) {
            //do something
        }
    }


    return return_code;
}

Answer 1

首先：对于浮点数，这不是有效的比较函数，因为它不是部分顺序（特别是，它不满足传递性：您可以具有a，b和c，使得a等于b和b比较等于c，但是a不等于c。）您不能将比较用于std::map或std::sort或std::binary_search。

[其次，当我想将其与s_two进行比较时，您正在将s_two与s_one进行比较。所以那也会引起问题。

不过，这种比较已经存在致命的缺陷。浮点数的有效比较为a < b。用“ epsilons”来搞混是您要解决的任何问题的错误解决方案。