2

在 Nim 标准库中有一个警告：

 sort(myIntArray, system.cmp[int])

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

谁能为此提供更多解释？

我试过的

  1. 查看源代码

听起来可能有两种排序实现，一种是普通的，另一种是专门用于比较字符串的，但是在这里查看源代码我找不到任何这样的专业化。

  1. 尝试编译器

我尝试编写以下程序：

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));
        {
*****
4

1 回答 1

2

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.

于 2015-02-22T20:18:02.967 回答