error: no matching function for call to 'function namel'

Question

我的最终目标是计算二次理想的幂，它是使用 GMP 库在 C 中作为结构变量实现的。

我得到了一个库 (ANTL)，其中包含使用 C++ 模板、名称空间和 NTL 的通用优化求幂。这个库对 NTL 类型 ZZ_p 等和 long、float 等基本类型进行求幂

我必须使用 ANTL 库来实现我的最终目标 - 计算一个理想的 C 结构变量 的幂。因为在我想实现基本 mpz_t 变量的强大功能之前，我从未使用过模板和命名空间，以了解一切是如何工作的。

现在，我有四个头文件 exp.hpp、expbin.hpp、impl.hpp、com.hpp 和一个主文件 exp.cpp 如下 -

COM.HPP

#ifndef GMPL_COM_H
#define GMPL_COM_H

#include <gmp.h>

namespace GMPL {
    template < class T >
    inline void assign(T C, const T A)
    {
        mpz_set(C, A);
    }

    template<class T>
    void mul (T C, const T A, const T B)
    {
        mpz_mul(C, A, B);
    }

    template<class T>
    void sqr (T C, const T A)
    {
        mpz_mul(C, A, A);
    }

}
#endif // guard

EXP.HPP

#ifndef EXP_H
#define EXP_H

#include "com.hpp"

namespace GMPL
{
    template < class T >
    class exp
    {
        public:
        exp() {};
        virtual ~exp() {};

        virtual void power (T C, const T A, const NTL::ZZ & n) = 0;
    };

} // GMPL

#endif // EXP_H

EXPBIN.HPP

#ifndef EXPBIN_H
#define EXPBIN_H

#include "exp.hpp"

namespace GMPL
{
    template < class T >
    class expbin : public exp<T>
    {
        public:
        expbin() {};
        ~expbin() {};

        void power (T C, const T A, const NTL::ZZ & n);
    };

} // GMPL

// Unspecialized template definitions.
#include "impl.hpp"

#endif // EXPBIN_H

IMPL.HPP

using namespace GMPL;

//
// compute A^n using standard left-to-right binary method
//
template < class T > 
void expbin<T>::power (T C, const T A, const NTL::ZZ & n)
{
    assign(C,A);
    for (register long i = NumBits(n)-2 ; i >= 0 ; i--)
    {
        sqr(C, C);
        if (bit(n, i) == 1)
            mul(C, C, A);
    }
}

EXP.CPP

#include <NTL/lzz_p.h>
#include <gmp.h>

namespace GMPL {}
using namespace GMPL;


#include "expbin.hpp"

NTL_CLIENT

int main ()
{
    // NTL variables
    ZZ n;

    // GMP variables
    mpz_t aa;
    mpz_t bb;
    mpz_init(aa);
    mpz_init(bb);

    // generate random exponent of size 512 bits
    RandomLen (n, 512); // NTL function

    // initialize exponentiation classes
    expbin<mpz_t> obj;

    // compute a^n with available methods
    obj.power (bb,aa,n);

    // check and output results
    gmp_printf("%Zd", bb);
}

当我尝试编译 EXP.CPP 时使用（如 Victor Shoup 的 NTL 在线文档中所述）

g++ -g -O2 -std=c++11 -pthread -march=native exp.cpp -o t -lntl -lgmp -lm

我收到以下错误消息-

$ g++ -g -O2 -std=c++11 -pthread -march=native exp.cpp -o t -lntl -lgmp -lm
In file included from exp.cpp:8:
In file included from ./expbin.hpp:46:
./impl.hpp:16:10: warning: 'register' storage class specifier is deprecated and
      incompatible with C++1z [-Wdeprecated-register]
    for (register long i = NumBits(n)-2 ; i >= 0 ; i--)
         ^~~~~~~~~
./impl.hpp:15:5: error: no matching function for call to 'assign'
    assign(C,A);
    ^~~~~~
exp.cpp:28:9: note: in instantiation of member function
      'GMPL::expbin<__mpz_struct [1]>::power' requested here
    obj.power (bb,aa,n);
        ^
./com.hpp:16:17: note: candidate template ignored: deduced conflicting types for
      parameter 'T' ('__mpz_struct *' vs. 'const __mpz_struct *')
    inline void assign(T C, const T A)
                ^
In file included from exp.cpp:8:
In file included from ./expbin.hpp:46:
./impl.hpp:20:13: error: no matching function for call to 'mul'
            mul(C, C, A);
            ^~~
./com.hpp:22:10: note: candidate template ignored: deduced conflicting types for
      parameter 'T' ('__mpz_struct *' vs. 'const __mpz_struct *')
    void mul (T C, const T A, const T B)

对这些错误的刻苦搜索表明，在父 class 中必须有一个空的构造函数，但我已经有了它。

我知道编译语句是正确的，因为除此之外，在使用 NTL 时没有其他任何工作。在这一点上，我运行没有解决这个问题的想法。提前致谢。

编辑这个问题已经解决了。我希望关闭或删除此问题。

Answer 1

一种解决方案是不为您的函数包装器使用模板。似乎只有一个模板参数有意义（即 T 替换为 mpz_t），因为模板参数必须与 mpz_set 兼容。模板似乎不适合这项工作。只需定义采用 mpz_t 和 const mpz_t:

类型参数的包装器

inline void assign(mpz_t C, const mpz_t A)
{
    mpz_set(C, A);
}

你确实说过你想学习模板，但在不适当的环境中使用它们不会有太大帮助。而且您仍然有供类学习的模板。

也就是说，我可以为您解释编译器消息。

warning: 'register' storage class specifier is deprecated and incompatible with C++1z [-Wdeprecated-register]
for (register long i = NumBits(n)-2 ; i >= 0 ; i--)

这很容易修复。删除该行中的 "register" 。不再是性能优化。

error: no matching function for call to 'assign'
assign(C,A);
[...]
note: candidate template ignored: deduced conflicting types for parameter 'T'

编译器无法确定在此函数调用中将什么用作模板参数。有两个函数参数，每个参数都表示 assign 的模板参数应该是什么。（这与 expbin 的模板参数不同，即使两者都命名为 T。）当含义发生冲突时就会出现问题。使这项工作起作用的一种方法应该是指定您想要的参数，如

assign<T>(C, A);

这表明 assign 的模板参数（在 < 和 > 之间给出）应该是 expbin 的模板参数（意思是T 在这种情况下）。

注意： 您定义的模板看起来可以正常工作，而无需像这样指定 T。但是，mpz_t 在技术上是一个结构的数组（不仅仅是一个结构），用作参数的数组可能会衰减，这会导致类型混淆。

error: no matching function for call to 'mul'
mul(C, C, A);
note: candidate template ignored: deduced conflicting types for parameter 'T'

相同（尽管在本例中有三个函数参数，因此推导出 T 的三个候选对象）。

mul<T>(C, C, A);

error: no matching function for call to 'function namel'

error: no matching function for call to 'function namel'

c++

templates

compiler-errors

gmp

ntl