Question

在Nim标准库中有一个warning：

 sort(myIntArray, system.cmp[int])

 # do not use cmp[string] here as we want to use the specialized
 # overload:
 sort(myStrArray, system.cmp)

有人能为此提供更多解释吗？

我尝试了什么

查看源代码

听起来好像有两种排序实现，一种是普通的实现，一种是用于比较字符串的专用实现，但是查看源here我找不到任何这样的专业化。

试用编译器

我尝试编写以下程序：

import algorithm

var strArray: array[4,string]  = ["a","ab","abcd","abc"]

sort(strArray, system.cmp[string])
# sort(strArray, system.cmp)

for x in strArray:
  echo x

并尝试了两种方式进行比较。但是，当我比较生成的C代码时，似乎没有任何显着差异。 fc的输出如下所示，但在我看来它只是看起来不重要的变化：

Comparing files NIMCACHE\testsorta.c and NIMCACHE\TESTSORT.C
***** NIMCACHE\testsorta.c
typedef struct {
N_NIMCALL_PTR(NI, ClPrc) (NimStringDesc* x_91042, NimStringDesc* y_91044, void*
ClEnv);
void* ClEnv;
} TY91048;
typedef N_CLOSURE_PTR(NI, TMP153) (NimStringDesc* x_91025, NimStringDesc* y_9102
7, void* ClEnv);
struct  tcell44933  {
***** NIMCACHE\TESTSORT.C
typedef struct {
N_NIMCALL_PTR(NI, ClPrc) (NimStringDesc* x_91054, NimStringDesc* y_91056, void*
ClEnv);
void* ClEnv;
} TY91060;
typedef N_CLOSURE_PTR(NI, TMP153) (NimStringDesc* x_91037, NimStringDesc* y_9103
9, void* ClEnv);
struct  tcell44933  {
*****

***** NIMCACHE\testsorta.c
N_NIMCALL(void, genericAssign)(void* dest, void* src, TNimType* mt);
N_NIMCALL(void, sort_91029)(NimStringDesc** a_91037, NI a_91037Len0, TY91048 cmp
_91047, NU8 order_91050);
N_NIMCALL(void, merge_91090)(NimStringDesc** a_91098, NI a_91098Len0, NimStringD
esc** b_91106, NI b_91106Len0, NI lo_91110, NI
m_91112, NI hi_91114, TY91048 cmp_91122, NU8 order_91125);
N_NIMCALL(NI, cmp_4517)(NimStringDesc* x, NimStringDesc* y);
N_NIMCALL(NimStringDesc*, copyStringRC1)(NimStringDesc* src);
***** NIMCACHE\TESTSORT.C
N_NIMCALL(void, genericAssign)(void* dest, void* src, TNimType* mt);
N_NIMCALL(NI, cmp_91024)(NimStringDesc* x_91028, NimStringDesc* y_91030);
N_NIMCALL(void, sort_91041)(NimStringDesc** a_91049, NI a_91049Len0, TY91060 cmp
_91059, NU8 order_91062);
N_NIMCALL(void, merge_91102)(NimStringDesc** a_91110, NI a_91110Len0, NimStringD
esc** b_91118, NI b_91118Len0, NI lo_91122, NI
m_91124, NI hi_91126, TY91060 cmp_91134, NU8 order_91137);
N_NIMCALL(NimStringDesc*, copyStringRC1)(NimStringDesc* src);
*****

***** NIMCACHE\testsorta.c
NIM_EXTERNC N_NOINLINE(void, testsortInit)(void) {
        TY91048 LOC1;
        nimfr("testsort", "testsort.nim")
***** NIMCACHE\TESTSORT.C
NIM_EXTERNC N_NOINLINE(void, testsortInit)(void) {
        TY91060 LOC1;
        nimfr("testsort", "testsort.nim")
*****

***** NIMCACHE\testsorta.c
        memset((void*)(&LOC1), 0, sizeof(LOC1));
        LOC1.ClPrc = ((TMP153) (cmp_4517)); LOC1.ClEnv = NIM_NIL;
        sort_91029(strarray_91015, 4, LOC1, ((NU8) 1));
        {
***** NIMCACHE\TESTSORT.C
        memset((void*)(&LOC1), 0, sizeof(LOC1));
        LOC1.ClPrc = ((TMP153) (cmp_91024)); LOC1.ClEnv = NIM_NIL;
        sort_91041(strarray_91015, 4, LOC1, ((NU8) 1));
        {
*****

Answer 1

proc cmp[T](x, y: T): int

proc cmp(x, y: string): int

比较字符串的proc。比通用版本更有效。

这是不同的。 cmp(s1, s2)比cmp[string](s1, s2)效率更高。

您在生成代码中看不到任何差异的原因是因为一个版本将cmp(string, string)转换为C函数，而另一个版本将通用实例化为cmp[string](string, string)转换为C函数，这些签名完全相同。您应该查找这些函数的主体中的差异，这些差异应该在system.c。

中

为什么没有使用system.cmp [string]进行Nim字符串比较的警告

我尝试了什么

1 个答案: