SWIG 3 中文手冊——12. 自定義功能

12 自定義功能

In many cases, it is desirable to change the default wrapping of particular declarations in an interface. For example, you might want to provide hooks for catching C++ exceptions, add assertions, or provide hints to the underlying code generator. This chapter describes some of these customization techniques. First, a discussion of exception handling is presented. Then, a more general-purpose customization mechanism known as "features" is described.html

在許多狀況下,用戶但願更改接口文件中特定聲明的默認包裝。例如,你可能想要提供鉤子來捕獲 C++ 異常,添加斷言或爲底層代碼生成器提供提示。本章介紹其中一些自定義技術。首先,對異常處理進行了討論。而後,描述了一種稱爲「功能」的,更通用的自定義機制。c++

12.1 用 %exception 處理異常

The %exception directive allows you to define a general purpose exception handler. For example, you can specify the following:app

%exception 指令容許你定義通用異常處理程序。例如,你能夠指定如下內容:less

%exception {
  try {
    $action
  }
  catch (RangeError) {
    ... handle error ...
  }
}

How the exception is handled depends on the target language, for example, Python:ide

異常的處理方式取決於目標語言,例如在 Python 中:函數

%exception {
  try {
    $action
  }
  catch (RangeError) {
    PyErr_SetString(PyExc_IndexError, "index out-of-bounds");
    SWIG_fail;
  }
}

When defined, the code enclosed in braces is inserted directly into the low-level wrapper functions. The special variable $action is one of a few %exception special variables supported and gets replaced with the actual operation to be performed (a function call, method invocation, attribute access, etc.). An exception handler remains in effect until it is explicitly deleted. This is done by using either %exception or %noexception with no code. For example:flex

一旦定義,用大括號括起來的代碼直接插入到低級包裝器函數中。特殊變量 $action 是受支持的少數 %exception 特殊變量之一,並被替換爲要執行的實際操做(函數調用、方法調用、屬性訪問等)。異常處理程序將一直有效,直到被明確刪除。這能夠經過 %exception%noexception 來完成,無須編寫代碼。例如:ui

%exception;   // Deletes any previously defined handler

Compatibility note: Previous versions of SWIG used a special directive %except for exception handling. That directive is deprecated--%exception provides the same functionality, but is substantially more flexible.this

注意兼容性:早期版本的 SWIG 使用特殊指令 %except 進行異常處理。該指令已被棄用——%exception 提供相同的功能,但實質上更爲靈活。idea

12.1.1 C 代碼中的異常處理

C has no formal exception handling mechanism so there are several approaches that might be used. A somewhat common technique is to simply set a special error code. For example:

C 沒有正式的異常處理機制,所以可使用幾種方法來實現。某種常見的技術是簡單地設置特殊的錯誤代碼。例如:

/* File : except.c */

static char error_message[256];
static int error_status = 0;

void throw_exception(char *msg) {
  strncpy(error_message, msg, 256);
  error_status = 1;
}

void clear_exception() {
  error_status = 0;
}
char *check_exception() {
  if (error_status)
    return error_message;
  else
    return NULL;
}

To use these functions, functions simply call throw_exception() to indicate an error occurred. For example :

要使用這些函數,函數只需調用 throw_exception() 來指示發生了錯誤。例如 :

double inv(double x) {
  if (x != 0)
    return 1.0/x;
  else {
    throw_exception("Division by zero");
    return 0;
  }
}

To catch the exception, you can write a simple exception handler such as the following (shown for Perl5) :

要捕獲異常,你能夠編寫一個簡單的異常處理程序,例如如下代碼(針對 Perl5):

%exception {
  char *err;
  clear_exception();
  $action
  if ((err = check_exception())) {
    croak(err);
  }
}

In this case, when an error occurs, it is translated into a Perl error. Each target language has its own approach to creating a runtime error/exception in and for Perl it is the croak method shown above.

在這種狀況下,一旦錯誤發生,它將轉換爲 Perl 錯誤。每種目標語言都有本身的方法來在其中建立運行時錯誤/異常,對於 Perl 來講,這是上面顯示的 croak 方法。

12.1.2 用 longjmp() 處理異常

Exception handling can also be added to C code using the <setjmp.h> library. Here is a minimalistic implementation that relies on the C preprocessor :

也可使用 <setjmp.h> 庫將異常處理添加到 C 代碼中。這是一個依賴 C 預處理器的簡約實現:

/* File : except.c
   Just the declaration of a few global variables we're going to use */

#include <setjmp.h>
jmp_buf exception_buffer;
int exception_status;

/* File : except.h */
#include <setjmp.h>
extern jmp_buf exception_buffer;
extern int exception_status;

#define try if ((exception_status = setjmp(exception_buffer)) == 0)
#define catch(val) else if (exception_status == val)
#define throw(val) longjmp(exception_buffer, val)
#define finally else

/* Exception codes */

#define RangeError     1
#define DivisionByZero 2
#define OutOfMemory    3

Now, within a C program, you can do the following :

如今,在 C 程序中,你能夠這樣作:

double inv(double x) {
  if (x)
    return 1.0/x;
  else
    throw(DivisionByZero);
}

Finally, to create a SWIG exception handler, write the following :

最終,以下能夠建立一個 SWIG 異常處理器:

%{
#include "except.h"
%}

%exception {
  try {
    $action
  } catch(RangeError) {
    croak("Range Error");
  } catch(DivisionByZero) {
    croak("Division by zero");
  } catch(OutOfMemory) {
    croak("Out of memory");
  } finally {
    croak("Unknown exception");
  }
}

Note: This implementation is only intended to illustrate the general idea. To make it work better, you'll need to modify it to handle nested try declarations.

注意:此實現僅用於說明通常想法。爲了使其更好地工做,你須要對其進行修改以處理嵌套的 try 聲明。

12.1.3 處理 C++ 異常

Handling C++ exceptions is also straightforward. For example:

處理 C++ 異常也很簡單。例如:

%exception {
  try {
    $action
  } catch(RangeError) {
    croak("Range Error");
  } catch(DivisionByZero) {
    croak("Division by zero");
  } catch(OutOfMemory) {
    croak("Out of memory");
  } catch(...) {
    croak("Unknown exception");
  }
}

The exception types need to be declared as classes elsewhere, possibly in a header file :

異常類型須要在其餘地方聲明爲類,多是在頭文件中:

class RangeError {};
class DivisionByZero {};
class OutOfMemory {};

12.1.4 變量的異常處理器

By default all variables will ignore %exception, so it is effectively turned off for all variables wrappers. This applies to global variables, member variables and static member variables. The approach is certainly a logical one when wrapping variables in C. However, in C++, it is quite possible for an exception to be thrown while the variable is being assigned. To ensure %exception is used when wrapping variables, it needs to be 'turned on' using the %allowexception feature. Note that %allowexception is just a macro for %feature("allowexcept"), that is, it is a feature called allowexcept. Any variable which has this feature attached to it, will then use the %exception feature, but of course, only if there is a %exception attached to the variable in the first place. The %allowexception feature works like any other feature and so can be used globally or for selective variables.

默認狀況下,全部變量都將忽略 %exception,所以對於全部變量包裝器均將其關閉。這適用於全局變量、成員變量和靜態成員變量。在用 C 包裝變量時,這種方法固然是合乎邏輯的。可是,在 C++ 中,極可能在分配變量時引起異常。爲了確保在包裝變量時使用 %exception,須要使用 %allowexception 功能將其 turned on。請注意,%allowexception 只是 %feature("allowexcept") 的宏,也就是說,它是一個名爲allowexcept 的功能。任何具備此功能的變量都將使用 %exception 功能,可是,前提固然是首先要在變量上附加 %exception%allowexception 功能與任何其餘功能同樣工做,所以能夠全局使用或用於選擇性變量。

%allowexception;                // turn on globally
%allowexception Klass::MyVar;   // turn on for a specific variable

%noallowexception Klass::MyVar; // turn off for a specific variable
%noallowexception;              // turn off globally

12.1.5 定義不一樣的異常處理器

By default, the %exception directive creates an exception handler that is used for all wrapper functions that follow it. Unless there is a well-defined (and simple) error handling mechanism in place, defining one universal exception handler may be unwieldy and result in excessive code bloat since the handler is inlined into each wrapper function.

To fix this, you can be more selective about how you use the %exception directive. One approach is to only place it around critical pieces of code. For example:

默認狀況下,%exception 指令建立一個異常處理程序,該異常處理程序用於其後的全部包裝函數。除非有一個定義明確(且簡單)的錯誤處理機制,不然定義一個通用異常處理程序可能會很麻煩,而且因爲該處理程序被內聯到每一個包裝器函數中,所以會致使代碼過於膨脹。

爲了解決這個問題,你能夠更具選擇性地使用 %exception 指令。一種方法是僅將其放置在關鍵的代碼周圍。例如:

%exception {
  ... your exception handler ...
}
/* Define critical operations that can throw exceptions here */

%exception;

/* Define non-critical operations that don't throw exceptions */

More precise control over exception handling can be obtained by attaching an exception handler to specific declaration name. For example:

經過將異常處理程序附加到特定的聲明名稱,能夠得到對異常處理更精確的控制。例如:

%exception allocate {
  try {
    $action
  }
  catch (MemoryError) {
    croak("Out of memory");
  }
}

In this case, the exception handler is only attached to declarations named allocate. This would include both global and member functions. The names supplied to %exception follow the same rules as for %rename described in the section on Ambiguity resolution and renaming. For example, if you wanted to define an exception handler for a specific class, you might write this:

在這種狀況下,異常處理程序僅附加到名爲 allocate 的聲明。這將包括全局和成員函數。提供給 %exception 的名稱遵循與消歧義和重命名一節中所述的 %rename 相同的規則。例如,若是你想爲特定的類定義異常處理程序,則能夠這樣編寫:

%exception Object::allocate {
  try {
    $action
  }
  catch (MemoryError) {
    croak("Out of memory");
  }
}

When a class prefix is supplied, the exception handler is applied to the corresponding declaration in the specified class as well as for identically named functions appearing in derived classes.

%exception can even be used to pinpoint a precise declaration when overloading is used. For example:

提供類前綴時,異常處理程序將應用於指定類中的相應聲明,以及派生類中出現的名稱相同的函數。

使用重載時,甚至可使用 %exception 來精肯定位聲明。例如:

%exception Object::allocate(int) {
  try {
    $action
  }
  catch (MemoryError) {
    croak("Out of memory");
  }
}

Attaching exceptions to specific declarations is a good way to reduce code bloat. It can also be a useful way to attach exceptions to specific parts of a header file. For example:

將異常附加到特定聲明是減小代碼膨脹的好方法。將異常附加到頭文件的特定部分也是一種有用的方法。例如:

%module example
%{
#include "someheader.h"
%}

// Define a few exception handlers for specific declarations
%exception Object::allocate(int) {
  try {
    $action
  }
  catch (MemoryError) {
    croak("Out of memory");
  }
}

%exception Object::getitem {
  try {
    $action
  }
  catch (RangeError) {
    croak("Index out of range");
  }
}
...
// Read a raw header file
%include "someheader.h"

Compatibility note: The %exception directive replaces the functionality provided by the deprecated except typemap. The typemap would allow exceptions to be thrown in the target language based on the return type of a function and was intended to be a mechanism for pinpointing specific declarations. However, it never really worked that well and the new %exception directive is much better.

注意兼容性%exception 指令替換了不推薦使用的 except 類型映射提供的功能。類型映射將容許根據函數的返回類型以目標語言拋出異常,而且該映射旨在成爲一種精肯定位特定聲明的機制。可是,它歷來沒有真正奏效過,新的 %exception 指令要好得多。

12.1.6 %exception 的特殊變量

The %exception directive supports a few special variables which are placeholders for code substitution. The following table shows the available special variables and details what the special variables are replaced with.

%exception 指令支持一些特殊變量,它們是代碼替換的佔位符。下表顯示了可用的特殊變量,並詳細說明了用哪些特殊變量替換的變量。

$action The actual operation to be performed (a function call, method invocation, variable access, etc.)
$name The C/C++ symbol name for the function.
$symname The symbol name used internally by SWIG
$overname The extra mangling used in the symbol name for overloaded method. Expands to nothing if the wrapped method is not overloaded.
$wrapname The language specific wrapper name (usually a C function name exported from the shared object/dll)
$decl The fully qualified C/C++ declaration of the method being wrapped without the return type
$fulldecl The fully qualified C/C++ declaration of the method being wrapped including the return type
$parentclassname The parent class name (if any) for a method.
$parentclasssymname The target language parent class name (if any) for a method.

The special variables are often used in situations where method calls are logged. Exactly which form of the method call needs logging is up to individual requirements, but the example code below shows all the possible expansions, plus how an exception message could be tailored to show the C++ method declaration:

特殊變量一般用於記錄方法調用的狀況。究竟哪一種形式的方法調用須要記錄取決於我的要求,可是下面的示例代碼顯示了全部可能的擴展,以及如何定製異常消息以顯示 C++ 方法聲明:

%exception Special::something {
  log("symname: $symname");
  log("overname: $overname");
  log("wrapname: $wrapname");
  log("decl: $decl");
  log("fulldecl: $fulldecl");
  try {
    $action
  }
  catch (MemoryError) {
      croak("Out of memory in $decl");
  }
}
void log(const char *message);
struct Special {
  void something(const char *c);
  void something(int i);
};

Below shows the expansions for the 1st of the overloaded something wrapper methods for Perl:

下面顯示了 Perl 重載的 something 包裝器方法的第一種擴展:

log("symname: Special_something");
log("overname: __SWIG_0");
log("wrapname: _wrap_Special_something__SWIG_0");
log("decl: Special::something(char const *)");
log("fulldecl: void Special::something(char const *)");
try {
  (arg1)->something((char const *)arg2);
}
catch (MemoryError) {
  croak("Out of memory in Special::something(char const *)");
}

12.1.7 使用 SWIG 異常庫

The exception.i library file provides support for creating language independent exceptions in your interfaces. To use it, simply put an "%include exception.i" in your interface file. This provides a function SWIG_exception() that can be used to raise common scripting language exceptions in a portable manner. For example :

exception.i 庫文件支持在接口文件中建立獨立於語言的異常。要使用它,只需在接口文件中引入 %include exception.i。這提供了一個函數 SWIG_exception(),該函數可用於以可移植的方式引起常見的腳本語言異常。例如 :

// Language independent exception handler
%include exception.i

%exception {
  try {
    $action
  } catch(RangeError) {
    SWIG_exception(SWIG_ValueError, "Range Error");
  } catch(DivisionByZero) {
    SWIG_exception(SWIG_DivisionByZero, "Division by zero");
  } catch(OutOfMemory) {
    SWIG_exception(SWIG_MemoryError, "Out of memory");
  } catch(...) {
    SWIG_exception(SWIG_RuntimeError, "Unknown exception");
  }
}

As arguments, SWIG_exception() takes an error type code (an integer) and an error message string. The currently supported error types are :

做爲參數,SWIG_exception() 採用錯誤類型代碼(整數)和錯誤消息字符串。當前支持的錯誤類型是:

SWIG_UnknownError
SWIG_IOError
SWIG_RuntimeError
SWIG_IndexError
SWIG_TypeError
SWIG_DivisionByZero
SWIG_OverflowError
SWIG_SyntaxError
SWIG_ValueError
SWIG_SystemError
SWIG_AttributeError
SWIG_MemoryError
SWIG_NullReferenceError

The SWIG_exception() function can also be used in typemaps.

SWIG_exception() 函數也能夠用於類型映射。

12.2 對象全部權與 %newobject

A common problem in some applications is managing proper ownership of objects. For example, consider a function like this:

在某些應用程序中,一個常見的問題是正確地管理對象的全部權。例如,考慮以下函數:

Foo *blah() {
  Foo *f = new Foo();
  return f;
}

If you wrap the function blah(), SWIG has no idea that the return value is a newly allocated object. As a result, the resulting extension module may produce a memory leak (SWIG is conservative and will never delete objects unless it knows for certain that the returned object was newly created).

To fix this, you can provide an extra hint to the code generator using the %newobject directive. For example:

若是包裝函數 blah(),SWIG 不知道返回值是新分配的對象。結果,生成的擴展模塊可能會產生內存泄漏(SWIG 是保守的,除非肯定能夠確定返回的對象是新建立的,不然從不刪除對象)。

爲了解決這個問題,你可使用 %newobject 指令爲代碼生成器提供額外的提示。例如:

%newobject blah;
Foo *blah();

%newobject works exactly like %rename and %exception. In other words, you can attach it to class members and parameterized declarations as before. For example:

%newobject 的工做方式與 %rename%exception 徹底相同。換句話說,你能夠像之前同樣將其附加到類成員和參數化聲明中。例如:

%newobject ::blah();                   // Only applies to global blah
%newobject Object::blah(int, double);  // Only blah(int, double) in Object
%newobject *::copy;                    // Copy method in all classes
...

When %newobject is supplied, many language modules will arrange to take ownership of the return value. This allows the value to be automatically garbage-collected when it is no longer in use. However, this depends entirely on the target language (a language module may also choose to ignore the %newobject directive).

Closely related to %newobject is a special typemap. The newfree typemap can be used to deallocate a newly allocated return value. It is only available on methods for which %newobject has been applied and is commonly used to clean-up string results. For example:

當提供 %newobject 時,許多語言模塊將安排獲取返回值的全部權。這樣就能夠在再也不使用該值時自動對其進行垃圾回收。可是,這徹底取決於目標語言(語言模塊也能夠選擇忽略 %newobject 指令)。

%newobject 密切相關的是一個特殊的類型映射。newfree 類型映射可用於釋放新分配的返回值。它僅在應用了 %newobject 的方法上可用,而且一般用於清理字符串結果。例如:

%typemap(newfree) char * "free($1);";
...
%newobject strdup;
...
char *strdup(const char *s);

In this case, the result of the function is a string in the target language. Since this string is a copy of the original result, the data returned by strdup() is no longer needed. The "newfree" typemap in the example simply releases this memory.

As a complement to the %newobject, from SWIG 1.3.28, you can use the %delobject directive. For example, if you have two methods, one to create objects and one to destroy them, you can use:

在這種狀況下,函數的結果是目標語言中的字符串。因爲該字符串是原始結果的副本,所以再也不須要 strdup() 返回的數據。示例中的 newfree 類型映射僅釋放該內存。

做爲對 SWIG 1.3.28 中 %newobject 的補充,你可使用 %delobject 指令。例如,若是你有兩種方法,一種用於建立對象,另外一種用於銷燬它們,則可使用:

%newobject create_foo;
%delobject destroy_foo;
...
Foo *create_foo();
void destroy_foo(Foo *foo);

or in a member method as:

或者在成員方法中做爲:

%delobject Foo::destroy;

class Foo {
public:
  void destroy() { delete this;}

private:
  ~Foo();
};

%delobject instructs SWIG that the first argument passed to the method will be destroyed, and therefore, the target language should not attempt to deallocate it twice. This is similar to use the DISOWN typemap in the first method argument, and in fact, it also depends on the target language on implementing the 'disown' mechanism properly.

The use of %newobject is also integrated with reference counting and is covered in the C++ reference counted objects section.

Compatibility note: Previous versions of SWIG had a special %new directive. However, unlike %newobject, it only applied to the next declaration. For example:

%delobject 指示 SWIG 傳遞給該方法的第一個參數將被銷燬,所以,目標語言不該嘗試對其進行兩次分配。這相似於在第一個方法參數中使用 DISOWN 類型映射,實際上,它還取決於目標語言是否正確實現了 disown 機制。

%newobject 的使用也與引用計數集成在一塊兒,並在 C++ 引用計數對象章節中進行了介紹。

注意兼容性:早期版本的 SWIG 具備特殊的 %new 指令。可是,與 %newobject 不一樣,它僅適用於下一個聲明。例如:

%new char *strdup(const char *s);

For now this is still supported but is deprecated.

How to shoot yourself in the foot: The %newobject directive is not a declaration modifier like the old%new directive. Don't write code like this:

目前,仍支持此功能,但已棄用。

如何射擊本身的腳%newobject 指令與舊的 %new 指令不一樣,它不是一個聲明修飾符。不要寫這樣的代碼:

%newobject
char *strdup(const char *s);

The results might not be what you expect.

結果可能不是你所指望的。

12.3 功能與 %feature 指令

Both %exception and %newobject are examples of a more general purpose customization mechanism known as "features." A feature is simply a user-definable property that is attached to specific declarations. Features are attached using the %feature directive. For example:

%exception%newobject 都是更通用的自定義機制(稱爲「功能」)的示例。功能只是附加到特定聲明的用戶可定義的屬性。功能使用 %feature 指令附加。例如:

%feature("except") Object::allocate {
  try {
    $action
  }
  catch (MemoryError) {
    croak("Out of memory");
  }
}

%feature("new", "1") *::copy;

In fact, the %exception and %newobject directives are really nothing more than macros involving %feature:

實際上 %exception%newobject 就是包含 %feature 的宏:

#define %exception %feature("except")
#define %newobject %feature("new", "1")

The name matching rules outlined in the Ambiguity resolution and renaming section applies to all %feature directives. In fact the %rename directive is just a special form of %feature. The matching rules mean that features are very flexible and can be applied with pinpoint accuracy to specific declarations if needed. Additionally, if no declaration name is given, a global feature is said to be defined. This feature is then attached to every declaration that follows. This is how global exception handlers are defined. For example:

消歧義析和重命名章節中概述的名稱匹配規則適用於全部 %feature 指令。實際上,%rename 指令只是 %feature 的一種特殊形式。匹配規則意味着功能很是靈活,若是須要,能夠精確地將其應用於特定聲明。此外,若是未給出聲明名稱,則稱已定義了全局功能。而後,此功能將附加到隨後的每一個聲明。這就是定義全局異常處理程序的方式。例如:

/* Define a global exception handler */
%feature("except") {
  try {
    $action
  }
  ...
}

... bunch of declarations ...

The %feature directive can be used with different syntax. The following are all equivalent:

%feature 指令有不一樣的語法。如下都是等價的:

%feature("except") Object::method { $action };
%feature("except") Object::method %{ $action %};
%feature("except") Object::method " $action ";
%feature("except", "$action") Object::method;

The syntax in the first variation will generate the { } delimiters used whereas the other variations will not.

第一個變體中的語法將生成使用的 { } 分隔符,而其餘變體則不。

12.3.1 功能屬性

The %feature directive also accepts XML style attributes in the same way that typemaps do. Any number of attributes can be specified. The following is the generic syntax for features:

%feature 指令也以與類型映射相同的方式接受 XML 樣式的屬性。能夠指定任意數量的屬性。如下是功能的通用語法:

%feature("name", "value", attribute1="AttributeValue1") symbol;
%feature("name", attribute1="AttributeValue1") symbol {value};
%feature("name", attribute1="AttributeValue1") symbol %{value%};
%feature("name", attribute1="AttributeValue1") symbol "value";

More than one attribute can be specified using a comma separated list. The Java module is an example that uses attributes in %feature("except"). The throws attribute specifies the name of a Java class to add to a proxy method's throws clause. In the following example, MyExceptionClass is the name of the Java class for adding to the throws clause.

可使用逗號分隔的列表來指定多個屬性。Java 模塊是使用 %feature("except") 中的屬性的示例。throws 屬性指定要添加到代理方法 throw 子句中 Java 類的名稱。在下面的示例中,MyExceptionClass 是要添加到 throw 子句中的 Java 類的名稱。

%feature("except", throws="MyExceptionClass") Object::method {
  try {
    $action
  } catch (...) {
    ... code to throw a MyExceptionClass Java exception ...
  }
};

Further details can be obtained from the Java exception handling section.

更多細節能夠從 Java 異常處理章節得到。

12.3.2 功能標誌

Feature flags are used to enable or disable a particular feature. Feature flags are a common but simple usage of %feature and the feature value should be either 1 to enable or 0 to disable the feature.

功能標誌用於啓用或禁用特定功能。功能標誌是 %feature 常見但簡單的用法,值應爲 1 則啓用,爲 0 則禁用功能。

%feature("featurename")          // enables feature
%feature("featurename", "1")     // enables feature
%feature("featurename", "x")     // enables feature
%feature("featurename", "0")     // disables feature
%feature("featurename", "")      // clears feature

Actually any value other than zero will enable the feature. Note that if the value is omitted completely, the default value becomes 1, thereby enabling the feature. A feature is cleared by specifying no value, see Clearing features. The %immutable directive described in the Creating read-only variables section, is just a macro for %feature("immutable"), and can be used to demonstrates feature flags:

實際上,除 0 之外的任何值都將啓用該功能。請注意,若是該值被徹底省略,則默認值爲 1,從而啓用該功能。經過不指定任何值來清除功能,請參閱清除功能章節。在建立只讀變量章節中描述的 %immutable 指令只是 %feature("immutable") 的宏,能夠用來演示功能標記:

// features are disabled by default
int red;                        // mutable

%feature("immutable");          // global enable
int orange;                     // immutable

%feature("immutable", "0");     // global disable
int yellow;                     // mutable

%feature("immutable", "1");     // another form of global enable
int green;                      // immutable

%feature("immutable", "");      // clears the global feature
int blue;                       // mutable

Note that features are disabled by default and must be explicitly enabled either globally or by specifying a targeted declaration. The above intersperses SWIG directives with C code. Of course you can target features explicitly, so the above could also be rewritten as:

請注意,默認狀況下禁用功能,必須在全局範圍內或經過指定目標聲明來顯式啓用功能。上面的代碼將 SWIG 指令插入 C 代碼中。固然,你能夠明確地定位功能,所以上面的內容也能夠重寫爲:

%feature("immutable", "1") orange;
%feature("immutable", "1") green;
int red;                        // mutable
int orange;                     // immutable
int yellow;                     // mutable
int green;                      // immutable
int blue;                       // mutable

The above approach allows for the C declarations to be separated from the SWIG directives for when the C declarations are parsed from a C header file. The logic above can of course be inverted and rewritten as:

當從 C 頭文件解析 C 聲明時,上述方法容許將 C 聲明與 SWIG 指令分開。上面的邏輯固然能夠顛倒並重寫爲:

%feature("immutable", "1");
%feature("immutable", "0") red;
%feature("immutable", "0") yellow;
%feature("immutable", "0") blue;
int red;                        // mutable
int orange;                     // immutable
int yellow;                     // mutable
int green;                      // immutable
int blue;                       // mutable

As hinted above for %immutable, most feature flags can also be specified via alternative syntax. The alternative syntax is just a macro in the swig.swg Library file. The following shows the alternative syntax for the imaginary featurename feature:

就像上面對 %immutable 的提示同樣,大多數功能標誌也能夠經過其餘語法來指定。替代語法只是 swig.swg 庫文件中的宏。下面顯示了虛構的 featurename 功能的替代語法:

%featurename       // equivalent to %feature("featurename", "1") ie enables feature
%nofeaturename     // equivalent to %feature("featurename", "0") ie disables feature
%clearfeaturename  // equivalent to %feature("featurename", "")  ie clears feature

The concept of clearing features is discussed next.

接下來介紹清除功能的概念。

12.3.3 清除功能

A feature stays in effect until it is explicitly cleared. A feature is cleared by supplying a %feature directive with no value. For example %feature("name", ""). A cleared feature means that any feature exactly matching any previously defined feature is no longer used in the name matching rules. So if a feature is cleared, it might mean that another name matching rule will apply. To clarify, let's consider the except feature again (%exception):

在明確將其清除以前,功能一直有效。經過提供無值的 %feature 指令能夠清除功能。例如 %feature("name", "")。清除的功能意味着名稱匹配規則中再也不使用與先前定義的功能徹底匹配的任何功能。所以,若是一項功能被清除,則可能意味着將應用另外一個名稱匹配規則。爲了澄清,讓咱們再次考慮 except 功能(%exception):

// Define global exception handler
%feature("except") {
  try {
    $action
  } catch (...) {
    croak("Unknown C++ exception");
  }
}

// Define exception handler for all clone methods to log the method calls
%feature("except") *::clone() {
  try {
    logger.info("$action");
    $action
  } catch (...) {
    croak("Unknown C++ exception");
  }
}

... initial set of class declarations with clone methods ...

// clear the previously defined feature
%feature("except", "") *::clone();

... final set of class declarations with clone methods ...

In the above scenario, the initial set of clone methods will log all method invocations from the target language. This specific feature is cleared for the final set of clone methods. However, these clone methods will still have an exception handler (without logging) as the next best feature match for them is the global exception handler.

Note that clearing a feature is not always the same as disabling it. Clearing the feature above with %feature("except", "") *::clone() is not the same as specifying %feature("except", "0") *::clone(). The former will disable the feature for clone methods - the feature is still a better match than the global feature. If on the other hand, no global exception handler had been defined at all, then clearing the feature would be the same as disabling it as no other feature would have matched.

Note that the feature must match exactly for it to be cleared by any previously defined feature. For example the following attempt to clear the initial feature will not work:

在上述狀況下,初始的克隆方法將記錄來自目標語言的全部方法調用。最後一組克隆方法將清除此特定功能。可是,這些克隆方法仍將具備異常處理程序(不進行日誌記錄),由於它們的下一個最佳功能匹配是全局異常處理程序。

請注意,清除功能並不老是與禁用功能相同。用 %feature("except", "0") *::clone() 清除上面的功能與指定 %feature("except", "0") *::clone() 不一樣。前者將禁用克隆方法的功能,該功能仍然比全局功能更好。另外一方面,若是根本沒有定義全局異常處理程序,則清除該功能與禁用該功能相同,由於沒有其餘功能能夠匹配。

請注意,該功能必須徹底匹配才能被任何先前定義的功能清除。例如,如下清除初始功能的嘗試將無效:

%feature("except") clone() { logger.info("$action"); $action }
%feature("except", "") *::clone();

but this will:

可是這能夠:

%feature("except") clone() { logger.info("$action"); $action }
%feature("except", "") clone();

SWIG provides macros for disabling and clearing features. Many of these can be found in the swig.swglibrary file. The typical pattern is to define three macros; one to define the feature itself, one to disable the feature and one to clear the feature. The three macros below show this for the "except" feature:

SWIG 提供了用於禁用和清除功能的宏。其中許多能夠在 swig.swg 庫文件中找到。典型的模式是定義三個宏。一種是定義功能自己,一種是禁用功能,另外一種是清除功能。下面的三個宏針對 except 功能顯示了這一點:

#define %exception      %feature("except")
#define %noexception    %feature("except", "0")
#define %clearexception %feature("except", "")

12.3.4 功能與默認參數

SWIG treats methods with default arguments as separate overloaded methods as detailed in the default arguments section. Any %feature targeting a method with default arguments will apply to all the extra overloaded methods that SWIG generates if the default arguments are specified in the feature. If the default arguments are not specified in the feature, then the feature will match that exact wrapper method only and not the extra overloaded methods that SWIG generates. For example:

SWIG 將具備默認參數的方法視爲單獨的重載方法,如默認參數章節中所述。若是在功能中指定了默認參數,則以默認參數爲目標的任何 %feature 都將應用於 SWIG 生成的全部額外重載方法。若是未在功能中指定默認參數,則功能將僅與該徹底包裝方法匹配,而不與 SWIG 生成的額外重載方法匹配。例如:

%feature("except") hello(int i=0, double d=0.0) { ... }
void hello(int i=0, double d=0.0);

will apply the feature to all three wrapper methods, that is:

將把功能應用於全部三個包裝器方法,也就是:

void hello(int i, double d);
void hello(int i);
void hello();

If the default arguments are not specified in the feature:

若是功能中沒有指定默認參數:

%feature("except") hello(int i, double d) { ... }
void hello(int i=0, double d=0.0);

then the feature will only apply to this wrapper method:

那麼功能只應用這個包裝器方法:

void hello(int i, double d);

and not these wrapper methods:

而不是這些方法:

void hello(int i);
void hello();

If compactdefaultargs are being used, then the difference between specifying or not specifying default arguments in a feature is not applicable as just one wrapper is generated.

Compatibility note: The different behaviour of features specified with or without default arguments was introduced in SWIG-1.3.23 when the approach to wrapping methods with default arguments was changed.

若是使用 compactdefaultargs,則僅在生成一個包裝器時,在功能中指定或不指定默認參數之間的區別不適用。

注意兼容性:當更改使用默認參數包裝方法的方法時,在 SWIG-1.3.23 中引入了使用或不使用默認參數指定的功能的不一樣行爲。

12.3.5 功能示例

As has been shown earlier, the intended use for the %feature directive is as a highly flexible customization mechanism that can be used to annotate declarations with additional information for use by specific target language modules. Another example is in the Python module. You might use %featureto rewrite proxy/shadow class code as follows:

如前所述,%feature 指令的預期用途是一種高度靈活的自定義機制,可用於爲聲明加上附加信息以供特定目標語言模塊使用。另外一個示例在 Python 模塊中。你可使用 %feature 來重寫代理/影子類代碼,以下所示:

%module example
%rename(bar_id) bar(int, double);

// Rewrite bar() to allow some nice overloading

%feature("shadow") Foo::bar(int) %{
def bar(*args):
    if len(args) == 3:
        return apply(examplec.Foo_bar_id, args)
    return apply(examplec.Foo_bar, args)
%}

class Foo {
public:
  int bar(int x);
  int bar(int x, double y);
}

Further details of %feature usage is described in the documentation for specific language modules.

%feature 用法的更多詳細信息在特定語言模塊的文檔中進行了描述。

相關文章
相關標籤/搜索