我发现 Swift 3.1 中 #function 文字返回的 String 很奇怪。这里:

class FunctionLiteralTest {
    func weirdo() -> String {
        return #function
    }

    func weirdo(parameter: Int) -> String {
        return #function
    }

    func weirdo(_ parameter: Int) -> String {
        return #function
    }

    func weirdo(_ parameter: Int, _ anotherParameter: Int) -> String {
        return #function
    }
}

let functionLiteralTest = FunctionLiteralTest()

functionLiteralTest.weirdo()             // returns "weirdo()"
functionLiteralTest.weirdo(parameter: 1) // returns "weirdo(parameter:)"
functionLiteralTest.weirdo(1)            // returns "weirdo"
functionLiteralTest.weirdo(1, 2)         // returns "weirdo"

当所有参数都未标记时，括号将被完全跳过。如果 #function 也为没有任何参数的函数返回不带括号的函数名，我会非常理解。

这是合理的行为还是错误？

最佳答案

Swift 5 更新

在 Swift 5 中(尚未正式发布，但你可以找到一个 master snapshot )，由于 #19062，这个不一致被修复了.您的代码现在输出以下内容:

functionLiteralTest.weirdo()             // returns "weirdo()"
functionLiteralTest.weirdo(parameter: 1) // returns "weirdo(parameter:)"
functionLiteralTest.weirdo(1)            // returns "weirdo(_:)"
functionLiteralTest.weirdo(1, 2)         // returns "weirdo(_:_:)"

Swift 5 之前

我同意这是完全令人费解的行为，但它似乎是故意的。

函数文字在 SILGen 的过程中得到“填充”；这是通过 SILGenFunction::emitLiteral 完成的在 SILGenApply.cpp 中发挥作用.

然后调用 getMagicFunctionString对于函数文字:

static StringRef
getMagicFunctionString(SILGenFunction &SGF) {
  assert(SGF.MagicFunctionName
         && "asking for #function but we don't have a function name?!");
  if (SGF.MagicFunctionString.empty()) {
    llvm::raw_string_ostream os(SGF.MagicFunctionString);
    SGF.MagicFunctionName.printPretty(os);
  }
  return SGF.MagicFunctionString;
}

如果尚未生成，则创建一个新流以输出到 MagicFunctionString，并调用 DeclName::printPretty在 MagicFunctionName 上使用此流:

llvm::raw_ostream &DeclName::printPretty(llvm::raw_ostream &os) const {
  return print(os, /*skipEmptyArgumentNames=*/true);
}

(MagicFunctionName 被赋值为 when the function is emitted ；和 is given the value of getFullName()，即声明的 is just the Name)

然后调用 DeclName::print ，作为它的第二个参数，它采用 bool 参数来确定是否跳过列出参数名称，如果它们都是空的:

llvm::raw_ostream &DeclName::print(llvm::raw_ostream &os,
                                   bool skipEmptyArgumentNames) const {
  // Print the base name.
  os << getBaseName();

  // If this is a simple name, we're done.
  if (isSimpleName())
    return os;

  if (skipEmptyArgumentNames) {
    // If there is more than one argument yet none of them have names,
    // we're done.
    if (getArgumentNames().size() > 0) {
      bool anyNonEmptyNames = false;
      for (auto c : getArgumentNames()) {
        if (!c.empty()) {
          anyNonEmptyNames = true;
          break;
        }
      }

      if (!anyNonEmptyNames)
        return os;
    }
  }

  // Print the argument names.
  os << "(";
  for (auto c : getArgumentNames()) {
    os << c << ':';
  }
  os << ")";
  return os;

}

并且您可以看到，由于 if 条件 if (getArgumentNames().size() > 0)，没有参数的函数将跳过对所有空参数名称的检查，从而导致它们用括号发出，例如weirdo()。但是带有一个或多个参数的函数，所有参数名称都是空的，在发出时没有括号，例如 weirdo。

因此，鉴于 DeclName::printPretty 专门为 skipEmptyArgumentNames 参数传递了 true，似乎 Swift 团队确实特别想要这种行为对于#function。

此外，如果我们查看 blame，我们可以看到在 this commit 中添加了 DeclName::printPretty ，带有提交消息:

Pretty-print DeclNames with no keyword arguments by dropping the parenthsized bit.

Instead of printing "f(_:_:)", just print "f".

话虽如此，我还是会file a bug report超过它，因为对于函数文字来说它似乎并不那么直观。

关于swift - Swift 3.1 中#function 文字的奇怪值，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/45086137/