# wagon外部参数和内部参数的统一

\[TOC]

## 参数存在的问题

上一章节我们说到下面的合约代码会出现问题：

```
int test(char *string){
  func(string);
  func("string");
}
```

在编译完成后对两个参数的处理是不同的：

```
(module
   (type $FUNCSIG$i (func (result i32)))
   (type $FUNCSIG$ii (func (param i32) (result i32)))
   (import "env" "func" (func $func (param i32) (result i32)))
   (table 0 anyfunc)
   (memory $0 1)
   (data (i32.const 16) "string\00")
   (export "memory" (memory $0))
   (export "test" (func $test))
   (func $test (; 1 ;) (param $0 i32) (result i32)
      (drop
         (call $func            (get_local $0)
         )
      )
      (drop
         (call $func            (i32.const 16)
         )
      )
      (get_local $0)
   )
)
```

一种是通过外部传入指针，然后转换，一种是通过从虚拟机内部memory的偏移获取到参数，两者处理逻辑不同，这就会导致func在执行时出错，因此需要一种统一的方式来处理参数，或许还是需要借鉴ONT的方式了。 因为两个参数存在不同的地方，外部传入参数是存在local中的，内部参数是存在memory中的，没法通过一个相同的方法获取到参数变量，因此需要一种统一的方法。

## ONT处理方式

ONT的处理方式是全面改写虚拟机内存，然后将外部参数和内部参数统一从memory中获取：  从图中可以看到，右边的ONT代码中VM的memory被修改成了自己的memory，而原生wagon memory则是一个byte序列，ONT memory结构如下：

```
type VMmemory struct {
   Memory          []byte   AllocedMemIdex  int   PointedMemIndex int   ParamIndex      int //args analyze pointer   MemPoints       map[uint64]*TypeLength
}
```

如果是字节序列，则会将字节序列拷贝到memory中：

```
func (vm *VMmemory) copyMemAndGetIdx(b []byte, p_type PType) (int, error) {
   idx, err := vm.MallocPointer(len(b), p_type)
   if err != nil {
      return 0, err
   }
   copy(vm.Memory[idx:idx+len(b)], b)

   return idx, nil
}
```

从而实现内外部参数统一。

## 一种新的方式？

是否存在一种新方式，可以最大化保留原本wagon特性，并且实现内外部参数统一呢？


---

# Agent Instructions: Querying This Documentation

If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question.

Perform an HTTP GET request on the current page URL with the `ask` query parameter:

```
GET https://plainchant.gitbook.io/plainchant/qu-kuai-lian/wasm-xu-ni-ji/wagon-wai-bu-can-shu-he-nei-bu-can-shu-de-tong-yi.md?ask=<question>
```

The question should be specific, self-contained, and written in natural language.
The response will contain a direct answer to the question and relevant excerpts and sources from the documentation.

Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.