0

所以我正在构建一个数据类型，我想要可选的 auto-casting。我问的最后一个问题也与此有关。

我目前拥有的代码可以在下面找到：

class Test(T)
  @@auto_cast = false

  def initialize(var : T)
    @var = var
  end
  def self.auto_cast
    @@auto_cast
  end
  def self.auto_cast=(val)
    @@auto_cast = val
  end

  def self.auto_cast(forced_value=true,&block)
    #Force value, but store initial value:
    ac = @@auto_cast
    @@auto_cast = forced_value
      block.call
    @@auto_cast = ac
  end

  def +(val)
    var = @var
    if @@auto_cast
      if var.is_a? String
        casted_arg = val.to_s
        return var + casted_arg
      else
        casted_arg = typeof(var).new(val)
        return var + casted_arg
      end
    else
      if typeof(var) != typeof(val)
        {{raise "Error: Type of <<var>> is not equal to type of <<val>> while auto_cast is false."}}
      else
        return var + val
      end
    end
  end
end

但是，当我尝试测试数据类型时：

Test.auto_cast do
  puts Test.auto_cast
  puts Test.new(1) + "1"
  puts Test.new("1") + 1
end

它在以下位置引发错误return var + val：

  if typeof(var) != typeof(val)
    {{raise "Error: Type of <<var>> is not equal to type of <<val>> while auto_cast is false."}}
  else
    ERROR! --> return var + val
  end

起初我很困惑为什么，但现在它是有道理的。

  1. 我相信 Crystal 编译器无法确定@@auto_cast无论何时我打算进行 auto_cast 都是正确的（公平地说，当自动转换被禁用时，我想要语法错误）。
  2. 发生编译错误，因为在编译时 的值@@auto_cast是未知的。
  3. 由于身体的矛盾性质：

.

if var.is_a? String
  casted_arg = val.to_s
  return var + casted_arg
else
  casted_arg = typeof(var).new(val)
  return var + casted_arg
end

和

  if typeof(var) != typeof(val)
    {{raise "Error: Type of <<var>> is not equal to type of <<val>> while auto_cast is false."}}
  else
    return var + val
  end

每个定义只应在用户明确声明时使用。因此这更适合宏。

鉴于这些原因，我开始尝试将功能构建到宏中：

  def +(val)
    var = @var
    {%if @@auto_cast%}
      if var.is_a? String
        casted_arg = val.to_s
        return var + casted_arg
      else
        casted_arg = typeof(var).new(val)
        return var + casted_arg
      end
    {%else%}
      if typeof(var) != typeof(val)
        {{raise "Error: Type of <<var>> is not equal to type of <<val>> while auto_cast is false."}}
      else
        return var + val
      end
    {%end%}
  end

我认为这会起作用，因为这种方式只有在@@auto_cast设置时才会生成代码。但是我忘记的是前提＃2。IE 的值@@auto_cast在编译时是未知的。最终，为了完成这项工作，我需要一个变量，它可以是：

  1. 在编译时设置。
  2. 在编译时在宏内全局使用。

最终，我认为我可以按照以下方式做一些事情：

SET_AUTOCAST_VARIABLE true
  puts Test.auto_cast
  puts Test.new(1) + "1"
  puts Test.new("1") + 1
SET_AUTOCAST_VARIABLE false

然后在+()定义中：

{%if autocast_variable %}
   ...
{%else%}
   ...
{%end%}

问题是，我认为不存在这样的宏全局变量......我正在考虑解决这个问题的方法，到目前为止，我能想出的唯一解决方案是在编译时使用一些外部文件：

{{File.write("/tmp/cct","1")}}
  puts Test.auto_cast
  puts Test.new(1) + "1"
  puts Test.new("1") + 1
{{File.write("/tmp/cct","")}}

并在方法定义中：

{%if File.read("/tmp/cct")=="1" %}
   ...
{%else%}
   ...
{%end%}

不过，这感觉真的很糟糕......我想知道是否还有其他选择，（或者，甚至，如果这根本不起作用）？

4

1 回答 1

2

这是行不通的。方法只实例化一次，不可能有两个具有相同参数类型的相同方法的实现。在下面的示例中，两种+方法都不可避免地具有相同的实现。

Test.auto_cast do
  Test.new(1) + "1"
end
Test.new(1) + "1"

根据词法范围，您不能对同一方法有不同的实现。该方法只实例化一次，其中的宏也是如此。

我不了解您的整体用例，但也许还有其他方法可以实现您的需求。

为了完整性：您可以将常量用作宏全局变量。常量不能重新定义，但可以通过宏表达式进行更改。这可用于存储宏之间的状态。例如：

FOO = [true]
{{ FOO[0] }} # => true
{% FOO.clear; FOO << false %}
{{ FOO[0] }} # => false

不过，这很 hacky ;)

于 2018-06-21T21:14:34.523 回答